equal
deleted
inserted
replaced
22 |
22 |
23 time_use "AC/AC0_AC1.ML"; |
23 time_use "AC/AC0_AC1.ML"; |
24 time_use "AC/AC2_AC6.ML"; |
24 time_use "AC/AC2_AC6.ML"; |
25 time_use "AC/AC7_AC9.ML"; |
25 time_use "AC/AC7_AC9.ML"; |
26 |
26 |
27 time_use_thy "AC/WO1_AC1"; |
27 time_use_thy "AC/WO1_AC"; |
28 time_use_thy "AC/AC1_WO2"; |
28 time_use_thy "AC/AC1_WO2"; |
29 |
29 |
30 time_use "AC/AC10_AC15.ML"; |
30 time_use "AC/AC10_AC15.ML"; |
31 time_use_thy "AC/AC15_WO6"; |
31 time_use_thy "AC/AC15_WO6"; |
32 |
32 |
33 (* AC16 to add *) |
33 time_use_thy "AC/WO2_AC16"; |
|
34 time_use_thy "AC/AC16_WO4"; |
34 |
35 |
35 time_use "AC/AC1_AC17.ML"; |
36 time_use "AC/AC1_AC17.ML"; |
36 time_use_thy "AC/AC17_AC1"; |
37 time_use_thy "AC/AC17_AC1"; |
37 |
38 |
38 time_use_thy "AC/AC18_AC19"; |
39 time_use_thy "AC/AC18_AC19"; |
39 |
40 |
|
41 time_use_thy "AC/DC"; |
|
42 |
40 writeln"END: Root file for ZF/AC"; |
43 writeln"END: Root file for ZF/AC"; |