Re: [isabelle] How do I do stone age interaction?

On Sun, 28 Nov 2010, mark at wrote:

Unlike other users, I'm not aiming to use Isabelle for performing proofs as such. Rather I'm looking to gain a deep understanding of how Isabelle works.

The you should study the "implementation" manual, although it is still only half through the main concepts. Again see

It also tells you about datatypes for types and terms etc.


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