doc-src/TutorialI/isabelle.sty
Tue, 26 Sep 2000 18:23:29 +0200 wenzelm updated;
Wed, 20 Sep 2000 00:50:09 +0200 wenzelm updated;
less more (0) -10 -2 tip