equal
deleted
inserted
replaced
6 theory ListC |
6 theory ListC |
7 imports "~~/src/Tools/isac/KEStore" |
7 imports "~~/src/Tools/isac/KEStore" |
8 begin |
8 begin |
9 |
9 |
10 ML_file "~~/src/Tools/isac/ProgLang/termC.sml" |
10 ML_file "~~/src/Tools/isac/ProgLang/termC.sml" |
|
11 ML_file "~~/src/Tools/isac/ProgLang/contextC.sml" |
11 ML_file "~~/src/Tools/isac/ProgLang/calculate.sml" |
12 ML_file "~~/src/Tools/isac/ProgLang/calculate.sml" |
12 ML_file "~~/src/Tools/isac/ProgLang/rewrite.sml" |
13 ML_file "~~/src/Tools/isac/ProgLang/rewrite.sml" |
13 ML \<open> |
14 ML \<open> |
14 \<close> ML \<open> |
15 \<close> ML \<open> |
15 \<close> |
16 \<close> |