equal
deleted
inserted
replaced
6 theory Interpret |
6 theory Interpret |
7 imports "~~/src/Tools/isac/ProgLang/ProgLang" |
7 imports "~~/src/Tools/isac/ProgLang/ProgLang" |
8 begin |
8 begin |
9 ML_file "~~/src/Tools/isac/Interpret/mstools.sml" |
9 ML_file "~~/src/Tools/isac/Interpret/mstools.sml" |
10 ML_file "~~/src/Tools/isac/Interpret/ctree.sml" |
10 ML_file "~~/src/Tools/isac/Interpret/ctree.sml" |
11 |
|
12 |
|
13 ML_file "~~/src/Tools/isac/Interpret/ptyps.sml" |
11 ML_file "~~/src/Tools/isac/Interpret/ptyps.sml" |
14 ML_file "~~/src/Tools/isac/Interpret/generate.sml" |
12 ML_file "~~/src/Tools/isac/Interpret/generate.sml" |
15 ML_file "~~/src/Tools/isac/Interpret/calchead.sml" |
13 ML_file "~~/src/Tools/isac/Interpret/calchead.sml" |
16 ML_file "~~/src/Tools/isac/Interpret/appl.sml" |
14 ML_file "~~/src/Tools/isac/Interpret/appl.sml" |
17 ML_file "~~/src/Tools/isac/Interpret/rewtools.sml" |
15 ML_file "~~/src/Tools/isac/Interpret/rewtools.sml" |