| changeset 42651 | e3fdb7c96be5 |
| parent 42626 | 6ac8c55c657e |
| child 42662 | 2080fe35abea |
| 42650:552eae49f97d | 42651:e3fdb7c96be5 |
|---|---|
7 \endisadelimtheory |
7 \endisadelimtheory |
8 % |
8 % |
9 \isatagtheory |
9 \isatagtheory |
10 \isacommand{theory}\isamarkupfalse% |
10 \isacommand{theory}\isamarkupfalse% |
11 \ Proof\isanewline |
11 \ Proof\isanewline |
12 \isakeyword{imports}\ Main\isanewline |
12 \isakeyword{imports}\ Base\ Main\isanewline |
13 \isakeyword{begin}% |
13 \isakeyword{begin}% |
14 \endisatagtheory |
14 \endisatagtheory |
15 {\isafoldtheory}% |
15 {\isafoldtheory}% |
16 % |
16 % |
17 \isadelimtheory |
17 \isadelimtheory |