equal
deleted
inserted
replaced
294 ML_file "Knowledge/trig.sml" |
294 ML_file "Knowledge/trig.sml" |
295 (*ML_file "Knowledge/logexp.sml" not included as stuff for presentation of authoring*) |
295 (*ML_file "Knowledge/logexp.sml" not included as stuff for presentation of authoring*) |
296 ML_file "Knowledge/diff.sml" |
296 ML_file "Knowledge/diff.sml" |
297 ML_file "Knowledge/integrate.sml" |
297 ML_file "Knowledge/integrate.sml" |
298 ML_file "Knowledge/eqsystem-1.sml" |
298 ML_file "Knowledge/eqsystem-1.sml" |
|
299 ML_file "Knowledge/eqsystem-1a.sml" |
299 ML_file "Knowledge/eqsystem-2.sml" |
300 ML_file "Knowledge/eqsystem-2.sml" |
300 ML_file "Knowledge/test.sml" |
301 ML_file "Knowledge/test.sml" |
301 ML_file "Knowledge/polyminus.sml" |
302 ML_file "Knowledge/polyminus.sml" |
302 ML_file "Knowledge/vect.sml" |
303 ML_file "Knowledge/vect.sml" |
303 ML_file "Knowledge/diff-app.sml" (* postponed to dev. specification | TP-prog. *) |
304 ML_file "Knowledge/diff-app.sml" (* postponed to dev. specification | TP-prog. *) |
314 |
315 |
315 ML_file "Test_Code/test-code.sml" |
316 ML_file "Test_Code/test-code.sml" |
316 |
317 |
317 section \<open>further tests additional to src/.. files\<close> |
318 section \<open>further tests additional to src/.. files\<close> |
318 ML_file "BridgeLibisabelle/use-cases.sml" |
319 ML_file "BridgeLibisabelle/use-cases.sml" |
|
320 ML \<open> |
|
321 \<close> ML \<open> |
|
322 \<close> ML \<open> |
|
323 \<close> ML \<open> |
|
324 \<close> ML \<open> |
|
325 \<close> |
319 |
326 |
320 ML \<open>"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";\<close> |
327 ML \<open>"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";\<close> |
321 ML \<open>"%%%%%%%%%%%%%%%%% end Test_Isac %%%%%%%%%%%%%%%%%%%%%%%%";\<close> |
328 ML \<open>"%%%%%%%%%%%%%%%%% end Test_Isac %%%%%%%%%%%%%%%%%%%%%%%%";\<close> |
322 ML \<open>"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";\<close> |
329 ML \<open>"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";\<close> |
323 ML \<open> |
330 ML \<open> |