| changeset 17187 | 45bee2f6e61f |
| parent 17181 | 5f42dd5e6570 |
| child 25988 | 89a03048f312 |
| 17186:797433ca1ab3 | 17187:45bee2f6e61f |
|---|---|
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
3 \def\isabellecontext{NatClass}% |
3 \def\isabellecontext{NatClass}% |
4 \isamarkupfalse% |
|
5 % |
4 % |
6 \isamarkupheader{Defining natural numbers in FOL \label{sec:ex-natclass}% |
5 \isamarkupheader{Defining natural numbers in FOL \label{sec:ex-natclass}% |
7 } |
6 } |
8 \isamarkuptrue% |
7 \isamarkuptrue% |
9 % |
8 % |