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



On Sun, 28 Nov 2010, mark at proof-technologies.com 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 http://www4.in.tum.de/~wenzelm/test/implementation.pdf

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


	Makarius





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