1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Jul 27 16:56:45 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu Jul 28 10:58:17 2011 +0200
     1.3 @@ -100,7 +100,7 @@
     1.4    use          "library.sml"
     1.5    use          "calcelems.sml"
     1.6    use "ProgLang/termC.sml"
     1.7 -  use "ProgLang/calculate.sml"      (*part.*)
     1.8 +  use "ProgLang/calculate.sml"
     1.9    use "ProgLang/rewrite.sml"        (*?complete?*)
    1.10  (*use "ProgLang/listC.sml"            2002*)
    1.11    use "ProgLang/scrtools.sml"         (*complete*)