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.

Christian


[1] http://isabelle.in.tum.de/nominal/activities/idp/ 





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