| changeset 26961 | 290e1571c829 |
| parent 26912 | 0265353e4def |
| child 26987 | 978cefd606ad |
| 26960:1aa5cd390dfb | 26961:290e1571c829 |
|---|---|
9 \endisadelimtheory |
9 \endisadelimtheory |
10 % |
10 % |
11 \isatagtheory |
11 \isatagtheory |
12 \isacommand{theory}\isamarkupfalse% |
12 \isacommand{theory}\isamarkupfalse% |
13 \ intro\isanewline |
13 \ intro\isanewline |
14 \isakeyword{imports}\ CPure\isanewline |
14 \isakeyword{imports}\ Pure\isanewline |
15 \isakeyword{begin}% |
15 \isakeyword{begin}% |
16 \endisatagtheory |
16 \endisatagtheory |
17 {\isafoldtheory}% |
17 {\isafoldtheory}% |
18 % |
18 % |
19 \isadelimtheory |
19 \isadelimtheory |