equal
deleted
inserted
replaced
263 ML_file "MathEngBasic/thmC.sml" |
263 ML_file "MathEngBasic/thmC.sml" |
264 ML_file "MathEngBasic/problem.sml" |
264 ML_file "MathEngBasic/problem.sml" |
265 ML_file "MathEngBasic/rewrite.sml" |
265 ML_file "MathEngBasic/rewrite.sml" |
266 ML_file "MathEngBasic/tactic.sml" |
266 ML_file "MathEngBasic/tactic.sml" |
267 ML_file "MathEngBasic/ctree.sml" (*if red, get the file into a text buffer -- this might clear*) |
267 ML_file "MathEngBasic/ctree.sml" (*if red, get the file into a text buffer -- this might clear*) |
|
268 ML \<open> |
|
269 \<close> ML \<open> |
|
270 \<close> ML \<open> |
|
271 \<close> ML \<open> |
|
272 \<close> ML \<open> |
|
273 \<close> |
268 ML_file "MathEngBasic/calculation.sml" |
274 ML_file "MathEngBasic/calculation.sml" |
269 |
275 |
270 ML_file "Specify/formalise.sml" |
276 ML_file "Specify/formalise.sml" |
271 ML_file "Specify/o-model.sml" |
277 ML_file "Specify/o-model.sml" |
272 ML_file "Specify/i-model.sml" |
278 ML_file "Specify/i-model.sml" |