--- a/doc-src/AxClass/generated/Group.tex Mon Sep 11 17:41:34 2000 +0200
+++ b/doc-src/AxClass/generated/Group.tex Mon Sep 11 17:54:22 2000 +0200
@@ -1,5 +1,6 @@
%
\begin{isabellebody}%
+\def\isabellecontext{Group}%
%
\isamarkupheader{Basic group theory}
\isacommand{theory}\ Group\ {\isacharequal}\ Main{\isacharcolon}%
--- a/doc-src/AxClass/generated/NatClass.tex Mon Sep 11 17:41:34 2000 +0200
+++ b/doc-src/AxClass/generated/NatClass.tex Mon Sep 11 17:54:22 2000 +0200
@@ -1,5 +1,6 @@
%
\begin{isabellebody}%
+\def\isabellecontext{NatClass}%
%
\isamarkupheader{Defining natural numbers in FOL \label{sec:ex-natclass}}
\isacommand{theory}\ NatClass\ {\isacharequal}\ FOL{\isacharcolon}%
--- a/doc-src/AxClass/generated/Product.tex Mon Sep 11 17:41:34 2000 +0200
+++ b/doc-src/AxClass/generated/Product.tex Mon Sep 11 17:54:22 2000 +0200
@@ -1,5 +1,6 @@
%
\begin{isabellebody}%
+\def\isabellecontext{Product}%
%
\isamarkupheader{Syntactic classes}
\isacommand{theory}\ Product\ {\isacharequal}\ Main{\isacharcolon}%
--- a/doc-src/AxClass/generated/Semigroups.tex Mon Sep 11 17:41:34 2000 +0200
+++ b/doc-src/AxClass/generated/Semigroups.tex Mon Sep 11 17:54:22 2000 +0200
@@ -1,5 +1,6 @@
%
\begin{isabellebody}%
+\def\isabellecontext{Semigroups}%
%
\isamarkupheader{Semigroups}
\isacommand{theory}\ Semigroups\ {\isacharequal}\ Main{\isacharcolon}%
--- a/doc-src/AxClass/generated/isabelle.sty Mon Sep 11 17:41:34 2000 +0200
+++ b/doc-src/AxClass/generated/isabelle.sty Mon Sep 11 17:54:22 2000 +0200
@@ -6,10 +6,12 @@
%% macros for Isabelle generated LaTeX output
%%
-%%% Simple document preparation (based on theory token language)
+%%% Simple document preparation (based on theory token language and symbols)
% isabelle environments
+\newcommand{\isabellecontext}{UNKNOWN}
+
\newcommand{\isastyle}{\small\tt\slshape}
\newcommand{\isastyleminor}{\small\tt\slshape}
\newcommand{\isastyletext}{\normalsize\rm}