lib/texinputs/isabelle.sty
Wed, 06 Oct 1999 00:35:05 +0200 wenzelm accomodate markup commands;
Tue, 05 Oct 1999 14:11:34 +0200 wenzelm macros for Isabelle generated LaTeX output;
less more (0) tip