equal
deleted
inserted
replaced
119 ML_file "library.sml" |
119 ML_file "library.sml" |
120 ML_file "calcelems.sml" |
120 ML_file "calcelems.sml" |
121 (*---------------------- do Minisubpbl before ADDTESTS/All_Ctxt -------------------------------- |
121 (*---------------------- do Minisubpbl before ADDTESTS/All_Ctxt -------------------------------- |
122 ML_file "kestore.sml" (* setup in ADDTEST/accumulate-val/lucas_interpreter.sml*) |
122 ML_file "kestore.sml" (* setup in ADDTEST/accumulate-val/lucas_interpreter.sml*) |
123 ---------------------- do Minisubpbl before ADDTESTS/All_Ctxt --------------------------------*) |
123 ---------------------- do Minisubpbl before ADDTESTS/All_Ctxt --------------------------------*) |
|
124 ML_file "ProgLang/termC.sml" |
124 ML {* |
125 ML {* |
125 *} ML {* |
126 *} ML {* |
126 *} ML {* |
127 *} ML {* |
127 *} |
128 *} |
128 (*---------------------- do Minisubpbl before ADDTESTS/All_Ctxt -------------------------------- |
129 (*---------------------- do Minisubpbl before ADDTESTS/All_Ctxt -------------------------------- |
129 ML_file "ProgLang/termC.sml" |
|
130 ML_file "ProgLang/calculate.sml" (* requires setup from calculate.thy *) |
130 ML_file "ProgLang/calculate.sml" (* requires setup from calculate.thy *) |
131 ML_file "ProgLang/rewrite.sml" |
131 ML_file "ProgLang/rewrite.sml" |
132 ML_file "ProgLang/listC.sml" |
132 ML_file "ProgLang/listC.sml" |
133 ML_file "ProgLang/scrtools.sml" |
133 ML_file "ProgLang/scrtools.sml" |
134 ML_file "ProgLang/tools.sml" |
134 ML_file "ProgLang/tools.sml" |