Re: [isabelle] collections of rules for automatic proof methods
> 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 . 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