1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Jul 27 08:46:09 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed Jul 27 13:04:57 2011 +0200
     1.3 @@ -101,7 +101,7 @@
     1.4    use          "calcelems.sml"
     1.5    use "ProgLang/termC.sml"
     1.6    use "ProgLang/calculate.sml"      (*part.*)
     1.7 -  use "ProgLang/rewrite.sml"        (*part.*)
     1.8 +  use "ProgLang/rewrite.sml"        (*?complete?*)
     1.9  (*use "ProgLang/listC.sml"            2002*)
    1.10    use "ProgLang/scrtools.sml"         (*complete*)
    1.11    use "ProgLang/tools.sml"            (*complete*)