doc-src/gfx/isabelle_isar.pdf
1999-07-19 wenzelm 1999-07-19 *** empty log message ***