equal
deleted
inserted
replaced
8 % |
8 % |
9 \isatagtheory |
9 \isatagtheory |
10 \isacommand{theory}\isamarkupfalse% |
10 \isacommand{theory}\isamarkupfalse% |
11 \ Base\isanewline |
11 \ Base\isanewline |
12 \isakeyword{imports}\ Pure\isanewline |
12 \isakeyword{imports}\ Pure\isanewline |
13 \isakeyword{uses}\ {\isaliteral{22}{\isachardoublequoteopen}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2F}{\isacharslash}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2F}{\isacharslash}}antiquote{\isaliteral{5F}{\isacharunderscore}}setup{\isaliteral{2E}{\isachardot}}ML{\isaliteral{22}{\isachardoublequoteclose}}\isanewline |
|
14 \isakeyword{begin}% |
13 \isakeyword{begin}% |
15 \endisatagtheory |
14 \endisatagtheory |
16 {\isafoldtheory}% |
15 {\isafoldtheory}% |
17 % |
16 % |
18 \isadelimtheory |
17 \isadelimtheory |
24 \isanewline |
23 \isanewline |
25 % |
24 % |
26 \endisadelimML |
25 \endisadelimML |
27 % |
26 % |
28 \isatagML |
27 \isatagML |
|
28 \isacommand{ML{\isaliteral{5F}{\isacharunderscore}}file}\isamarkupfalse% |
|
29 \ {\isaliteral{22}{\isachardoublequoteopen}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2F}{\isacharslash}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2E}{\isachardot}}{\isaliteral{2F}{\isacharslash}}antiquote{\isaliteral{5F}{\isacharunderscore}}setup{\isaliteral{2E}{\isachardot}}ML{\isaliteral{22}{\isachardoublequoteclose}}\isanewline |
29 \isacommand{setup}\isamarkupfalse% |
30 \isacommand{setup}\isamarkupfalse% |
30 \ {\isaliteral{7B2A}{\isacharverbatimopen}}\ Antiquote{\isaliteral{5F}{\isacharunderscore}}Setup{\isaliteral{2E}{\isachardot}}setup\ {\isaliteral{2A7D}{\isacharverbatimclose}}% |
31 \ Antiquote{\isaliteral{5F}{\isacharunderscore}}Setup{\isaliteral{2E}{\isachardot}}setup% |
31 \endisatagML |
32 \endisatagML |
32 {\isafoldML}% |
33 {\isafoldML}% |
33 % |
34 % |
34 \isadelimML |
35 \isadelimML |
35 \isanewline |
36 \isanewline |