1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Sep 27 13:35:06 2010 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Tue Sep 28 07:28:10 2010 +0200
     1.3 @@ -55,7 +55,7 @@
     1.4  use"ProgLang/rewrite.sml"; (*part.*)
     1.5  (*
     1.6   	use"scrtools.sml";
     1.7 -        use"term.sml";
     1.8 +        use"termC.sml";
     1.9   	use"tools.sml";
    1.10   	cd "../.."; 
    1.11  cd"smltest/ME";