Re: [isabelle] Surprisingly this verifies



> Oh, sorry, after restart of Emacs it does not verify. It is a bug in ProofGeneral.

If that's true, please report a repeatable test case at

http://proofgeneral.inf.ed.ac.uk/trac

Thanks, - David.


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.






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