equal
deleted
inserted
replaced
1 % |
1 % |
2 \begin{isabellebody}% |
2 \begin{isabellebody}% |
|
3 \def\isabellecontext{ABexpr}% |
3 % |
4 % |
4 \begin{isamarkuptext}% |
5 \begin{isamarkuptext}% |
5 Sometimes it is necessary to define two datatypes that depend on each |
6 Sometimes it is necessary to define two datatypes that depend on each |
6 other. This is called \textbf{mutual recursion}. As an example consider a |
7 other. This is called \textbf{mutual recursion}. As an example consider a |
7 language of arithmetic and boolean expressions where |
8 language of arithmetic and boolean expressions where |