equal
deleted
inserted
replaced
9 \endisadelimtheory |
9 \endisadelimtheory |
10 % |
10 % |
11 \isatagtheory |
11 \isatagtheory |
12 \isacommand{theory}\isamarkupfalse% |
12 \isacommand{theory}\isamarkupfalse% |
13 \ {\isachardoublequoteopen}syntax{\isachardoublequoteclose}\isanewline |
13 \ {\isachardoublequoteopen}syntax{\isachardoublequoteclose}\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 |