[isabelle-dev] HOL-Bali

[David Aspinall]

PS bear in mind the top of

http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-3.7.1/CHANGES

which warns exactly about this!


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