proof-general/etc/isar/multiple/README, branch master
Emacs plugins for proof management systems
Test files for multiple file handling with Isabelle/Isar;
1999-07-29T20:20:26+00:00
Makarius Wenzel
1999-07-29T20:20:26+00:00
21270199c9137cc836247d6d219e9ef84e4e14cd