equal
deleted
inserted
replaced
22 ML {* Toplevel.debug := true; *} |
22 ML {* Toplevel.debug := true; *} |
23 use "library.sml" |
23 use "library.sml" |
24 use "calcelems.sml" |
24 use "calcelems.sml" |
25 ML {* check_guhs_unique := true *} |
25 ML {* check_guhs_unique := true *} |
26 |
26 |
27 use "ProgLang/term.sml" |
27 use "ProgLang/termC.sml" |
28 use "ProgLang/calculate.sml" |
28 use "ProgLang/calculate.sml" |
29 use "ProgLang/rewrite.sml" |
29 use "ProgLang/rewrite.sml" |
30 use_thy"ProgLang/Script" (*ListC, Tools, Script*) |
30 use_thy"ProgLang/Script" (*ListC, Tools, Script*) |
31 use "ProgLang/scrtools.sml" |
31 use "ProgLang/scrtools.sml" |
32 use_thy"ProgLang/Language" (*just for integrating scrtools.sml*) |
32 use_thy"ProgLang/Language" (*just for integrating scrtools.sml*) |