doc-src/isar.sty
1999-07-30 wenzelm 1999-07-30 Isabelle/Isar macros;
1999-07-20 wenzelm 1999-07-20 checkpoint;