| changeset 17181 | 5f42dd5e6570 |
| parent 17175 | 1eced27ee0e1 |
| child 17187 | 45bee2f6e61f |
--- a/doc-src/AxClass/Nat/document/NatClass.tex Mon Aug 29 10:28:17 2005 +0200 +++ b/doc-src/AxClass/Nat/document/NatClass.tex Mon Aug 29 11:44:23 2005 +0200 @@ -1,6 +1,7 @@ % \begin{isabellebody}% \def\isabellecontext{NatClass}% +\isamarkupfalse% % \isamarkupheader{Defining natural numbers in FOL \label{sec:ex-natclass}% }