diff -r d48a2e324abf -r c7c64cd26fc9 doc-src/AxClass/generated/isabelle.sty
--- a/doc-src/AxClass/generated/isabelle.sty	Thu Oct 12 17:48:06 2000 +0200
+++ b/doc-src/AxClass/generated/isabelle.sty	Thu Oct 12 17:48:47 2000 +0200
@@ -98,7 +98,7 @@
 
 \newcommand{\isabellestylett}{%
 \renewcommand{\isastyle}{\small\tt}%
-\renewcommand{\isastyleminor}{\tt}%
+\renewcommand{\isastyleminor}{\small\tt}%
 }
 \newcommand{\isabellestyleit}{%
 \renewcommand{\isastyle}{\small\it}%