1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue May 03 16:23:07 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed May 04 09:01:10 2011 +0200
     1.3 @@ -82,16 +82,18 @@
     1.4    ML {*"%%%%%%%%%%%%%%%%% end ProgLang.thy %%%%%%%%%%%%%%%%%%%%%";*}
     1.5    ML {*"%%%%%%%%%%%%%%%%% start Interpret.thy %%%%%%%%%%%%%%%%%%";*}
     1.6    use "Interpret/mstools.sml"       (*empty*)
     1.7 -  use "Interpret/ctree.sml"
     1.8 +  use "Interpret/ctree.sml"         (*!    *)
     1.9 +ML {*
    1.10 +*}
    1.11    use "Interpret/ptyps.sml"         (*    *)
    1.12  (*use "Interpret/generate.sml"        new 2011*)
    1.13 -  use "Interpret/calchead.sml"      (*    *)
    1.14 -(*use "Interpret/appl.sml"            new 2011*)
    1.15 -  use "Interpret/rewtools.sml"      (*    *)
    1.16 -  use "Interpret/script.sml"        (*TODO*)
    1.17 -(*use "Interpret/solve.sml"           TODO*)
    1.18 -(*use "Interpret/inform.sml"          TODO*)
    1.19 -  use "Interpret/mathengine.sml"(*part.*)
    1.20 +  use "Interpret/calchead.sml"      (*!    *)
    1.21 +  use "Interpret/appl.sml"          (*!complete*)
    1.22 +  use "Interpret/rewtools.sml"      (*!    *)
    1.23 +  use "Interpret/script.sml"        (*!TODO*)
    1.24 +(*use "Interpret/solve.sml"           !TODO*)
    1.25 +(*use "Interpret/inform.sml"          !TODO*)
    1.26 +  use "Interpret/mathengine.sml"    (*!part.*)
    1.27    ML {*"%%%%%%%%%%%%%%%%% end Interpret.thy %%%%%%%%%%%%%%%%%%%%";*}
    1.28    ML {*"%%%%%%%%%%%%%%%%% start xmlsrc.thy %%%%%%%%%%%%%%%%%%%%%";*}
    1.29  (*use "xmlsrc/mathml.sml"             TODO*)