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}%