1.1 --- a/test/Tools/isac/Test_Isac.thy	Fri May 13 11:45:07 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Fri May 13 14:15:59 2011 +0200
     1.3 @@ -117,7 +117,33 @@
     1.4    ML {*"%%%%%%%%%%%%%%%%% end Minisubpbl %%%%%%%%%%%%%%%%%%%%%%%";*}
     1.5    ML {*"%%%%%%%%%%%%%%%%% start Interpret.thy %%%%%%%%%%%%%%%%%%";*}
     1.6    use "Interpret/mstools.sml"       (*new 2010*)
     1.7 -  use "Interpret/ctree.sml"         (*!...see(25)*)
     1.8 +ML {*
     1.9 +*}
    1.10 +ML {*
    1.11 +*}
    1.12 +ML {*
    1.13 +*}
    1.14 +ML {*
    1.15 +*}
    1.16 +ML {*
    1.17 +*}
    1.18 +ML {*
    1.19 +
    1.20 +*}
    1.21 +ML {*
    1.22 +*}
    1.23 +ML {*
    1.24 +*}
    1.25 +ML {*
    1.26 +*}
    1.27 +ML {*
    1.28 +
    1.29 +*}
    1.30 +ML {*
    1.31 +*}
    1.32 +ML {*
    1.33 +*}
    1.34 +  use "Interpret/ctree.sml"         (*!...!see(25)*)
    1.35    use "Interpret/ptyps.sml"         (*    *)
    1.36  (*use "Interpret/generate.sml"        new 2011*)
    1.37    use "Interpret/calchead.sml"      (*!    *)