--- a/lib/texinputs/isabelle.sty Mon Sep 18 21:29:49 2000 +0200
+++ b/lib/texinputs/isabelle.sty Mon Sep 18 23:43:11 2000 +0200
@@ -91,11 +91,15 @@
\newcommand{\isamarkupcmt}[1]{{\isastylecmt--- #1}}
-% alternative styles -- default is "tt"
+% alternative styles
\newcommand{\isabellestyle}{}
\def\isabellestyle#1{\csname isabellestyle#1\endcsname}
+\newcommand{\isabellestylett}{%
+\renewcommand{\isastyle}{\small\tt}%
+\renewcommand{\isastyleminor}{\tt}%
+}
\newcommand{\isabellestyleit}{%
\renewcommand{\isastyle}{\small\it}%
\renewcommand{\isastyleminor}{\it}%