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
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