branch | isac-update-Isa09-2 |
changeset 38025 | 67a110289e4e |
parent 38024 | 20231cdf39e7 |
child 38058 | ad0485155c0e |
38024:20231cdf39e7 | 38025:67a110289e4e |
---|---|
53 use"listg.sml"; |
53 use"listg.sml"; |
54 *) |
54 *) |
55 use"ProgLang/rewrite.sml"; (*part.*) |
55 use"ProgLang/rewrite.sml"; (*part.*) |
56 (* |
56 (* |
57 use"scrtools.sml"; |
57 use"scrtools.sml"; |
58 use"term.sml"; |
58 use"termC.sml"; |
59 use"tools.sml"; |
59 use"tools.sml"; |
60 cd "../.."; |
60 cd "../.."; |
61 cd"smltest/ME"; |
61 cd"smltest/ME"; |
62 use"ctree.sml"; |
62 use"ctree.sml"; |
63 *) |
63 *) |