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





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