Re: [isabelle] collections of rules for automatic proof methods

Makarius writes:
 > BTW, just before TPHOLs we will have a small semi-formal workshop in 
 > Munich that tries to recover the ability of Isabelle users to use ML for 
 > their applications -- among other things.

People who cannot participate in this workshop might find 
the Programming Tutorial helpful [1]. It explains in slow 
motion attributes on page 30pp and named theorem lists 
on page 35.



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.