# HG changeset patch
# User wenzelm
# Date 968687662 -7200
# Node ID 7acefd99e748fb5437f1c7d7399909edc814a42b
# Parent  9734f27172039dac9e43ea1159154bdaec354a42
updated;

diff -r 9734f2717203 -r 7acefd99e748 doc-src/AxClass/generated/Group.tex
--- 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}%
diff -r 9734f2717203 -r 7acefd99e748 doc-src/AxClass/generated/NatClass.tex
--- 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}%
diff -r 9734f2717203 -r 7acefd99e748 doc-src/AxClass/generated/Product.tex
--- 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}%
diff -r 9734f2717203 -r 7acefd99e748 doc-src/AxClass/generated/Semigroups.tex
--- 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}%
diff -r 9734f2717203 -r 7acefd99e748 doc-src/AxClass/generated/isabelle.sty
--- 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}