Re: [isabelle] rigorous axiomatic geometry proof in Isabelle

Sorry, Chris, I messed it up again.  Noch einmals: my filename is
Toylist.thy, so I should have typed theory Toylist.  I'm looking
forward to doing more exercises in jedit.  Proof General is a pain.

Good night,

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