src/Pure/ProofGeneral/pgml_isabelle.ML
Fri, 06 Jul 2007 17:52:52 +0200 aspinall Produce good PGML 2.0
Wed, 04 Jul 2007 21:20:23 +0200 aspinall PGML abstraction, draft version
less more (0) tip