equal
deleted
inserted
replaced
5 |
5 |
6 theory Test_Some imports Isac begin |
6 theory Test_Some imports Isac begin |
7 |
7 |
8 ML{* writeln "**** run the test ***************************************" *} |
8 ML{* writeln "**** run the test ***************************************" *} |
9 |
9 |
10 use"../../../test/Tools/isac/Frontend/interface.sml" |
10 use"../../../test/Tools/isac/Knowledge/polyminus.sml" |
11 |
11 |
12 ML{* |
12 ML{* |
13 *} |
13 *} |
14 ML{* |
14 ML{* |
15 *} |
|
16 ML{* |
|
17 |
|
18 *} |
15 *} |
19 ML{* |
16 ML{* |
20 *} |
17 *} |
21 ML{* |
18 ML{* |
22 *} |
19 *} |
28 |
25 |
29 (*=== inhibit exn ?============================================================= |
26 (*=== inhibit exn ?============================================================= |
30 ===== inhibit exn ?===========================================================*) |
27 ===== inhibit exn ?===========================================================*) |
31 |
28 |
32 |
29 |
33 (*========== inhibit exn 110718 ================================================ |
30 (*========== inhibit exn 110719 ================================================ |
34 ============ inhibit exn 110718 ==============================================*) |
31 ============ inhibit exn 110719 ==============================================*) |
35 |
32 |
36 |
33 |
37 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. |
34 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. |
38 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*) |
35 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*) |