| changeset 9921 | 7acefd99e748 |
| parent 9767 | dc2ee9b2e065 |
| child 10140 | ba9297b71897 |
--- 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}%