| changeset 17187 | 45bee2f6e61f |
| parent 17181 | 5f42dd5e6570 |
| child 25988 | 89a03048f312 |
--- a/doc-src/AxClass/Nat/document/NatClass.tex Mon Aug 29 16:18:07 2005 +0200 +++ b/doc-src/AxClass/Nat/document/NatClass.tex Mon Aug 29 16:25:24 2005 +0200 @@ -1,7 +1,6 @@ % \begin{isabellebody}% \def\isabellecontext{NatClass}% -\isamarkupfalse% % \isamarkupheader{Defining natural numbers in FOL \label{sec:ex-natclass}% }