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

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.