equal
deleted
inserted
replaced
178 ML_file "Interpret/generate.sml" |
178 ML_file "Interpret/generate.sml" |
179 ML_file "Interpret/calchead.sml" |
179 ML_file "Interpret/calchead.sml" |
180 ML_file "Interpret/appl.sml" (*complete "WEGEN INTERMED TESTCODE" *) |
180 ML_file "Interpret/appl.sml" (*complete "WEGEN INTERMED TESTCODE" *) |
181 ML_file "Interpret/rewtools.sml" |
181 ML_file "Interpret/rewtools.sml" |
182 ML_file "Interpret/script.sml" |
182 ML_file "Interpret/script.sml" |
|
183 ML_file "Interpret/inform.sml" |
|
184 ML_file "Interpret/lucas-interpreter.sml" |
183 ML_file "Interpret/solve.sml" |
185 ML_file "Interpret/solve.sml" |
184 ML_file "Interpret/inform.sml" |
|
185 ML_file "Interpret/mathengine.sml" (*!part. WN130804: +check Interpret/me.sml*) |
186 ML_file "Interpret/mathengine.sml" (*!part. WN130804: +check Interpret/me.sml*) |
186 ML \<open>"%%%%%%%%%%%%%%%%% end Interpret.thy %%%%%%%%%%%%%%%%%%%%";\<close> |
187 ML \<open>"%%%%%%%%%%%%%%%%% end Interpret.thy %%%%%%%%%%%%%%%%%%%%";\<close> |
187 ML \<open>"%%%%%%%%%%%%%%%%% start xmlsrc.thy %%%%%%%%%%%%%%%%%%%%%";\<close> |
188 ML \<open>"%%%%%%%%%%%%%%%%% start xmlsrc.thy %%%%%%%%%%%%%%%%%%%%%";\<close> |
188 ML_file "xmlsrc/mathml.sml" (*part.*) |
189 ML_file "xmlsrc/mathml.sml" (*part.*) |
189 ML_file "xmlsrc/datatypes.sml" (*TODO/part.*) |
190 ML_file "xmlsrc/datatypes.sml" (*TODO/part.*) |