1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Jul 25 14:19:50 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Mon Jul 25 17:44:19 2011 +0200
     1.3 @@ -25,10 +25,10 @@
     1.4  uses 
     1.5    (         "library.sml")
     1.6    (         "calcelems.sml")
     1.7 -  ("ProgLang/termC.sml") 
     1.8 +  ("ProgLang/termC.sml")      
     1.9    ("ProgLang/calculate.sml")
    1.10    ("ProgLang/rewrite.sml")
    1.11 -(*("ProgLang/listg.sml")*)
    1.12 +  ("ProgLang/listg.sml")
    1.13    ("ProgLang/scrtools.sml")
    1.14    ("ProgLang/tools.sml")
    1.15  
    1.16 @@ -78,7 +78,7 @@
    1.17    ("Knowledge/rooteq.sml")
    1.18    ("Knowledge/rateq.sml")
    1.19    ("Knowledge/rootrateq.sml")
    1.20 -(*("Knowledge/polyeq.sml")*)
    1.21 +  ("Knowledge/polyeq.sml")
    1.22    ("Knowledge/calculus.sml")
    1.23    ("Knowledge/trig.sml")
    1.24    ("Knowledge/logexp.sml")
    1.25 @@ -99,10 +99,10 @@
    1.26    ML {*"%%%%%%%%%%%%%%%%% start ProgLang.thy %%%%%%%%%%%%%%%%%%%";*}
    1.27    use          "library.sml"
    1.28    use          "calcelems.sml"
    1.29 -  use "ProgLang/termC.sml
    1.30 +  use "ProgLang/termC.sml"
    1.31    use "ProgLang/calculate.sml"      (*part.*)
    1.32    use "ProgLang/rewrite.sml"        (*part.*)
    1.33 -(*use "ProgLang/listg.sml"            2002*)
    1.34 +(*use "ProgLang/listC.sml"            2002*)
    1.35    use "ProgLang/scrtools.sml"         (*complete*)
    1.36    use "ProgLang/tools.sml"            (*complete*)
    1.37    ML {*"%%%%%%%%%%%%%%%%% end ProgLang.thy %%%%%%%%%%%%%%%%%%%%%";*}
    1.38 @@ -119,7 +119,7 @@
    1.39    use "Minisubpbl/600-postcond.sml"
    1.40    ML {*"%%%%%%%%%%%%%%%%% end Minisubpbl %%%%%%%%%%%%%%%%%%%%%%%";*}
    1.41    ML {*"%%%%%%%%%%%%%%%%% start Interpret.thy %%%%%%%%%%%%%%%%%%";*}
    1.42 -  use "Interpret/mstools.sml"       (*new 2010*)
    1.43 +  use "Interpret/mstools.sml"
    1.44    use "Interpret/ctree.sml"         (*!...!see(25)*)
    1.45    use "Interpret/ptyps.sml"         (*    *)
    1.46  (*use "Interpret/generate.sml"        new 2011*)