1.1 --- a/src/Tools/isac/Test_Isac.thy	Tue Sep 28 09:06:56 2010 +0200
     1.2 +++ b/src/Tools/isac/Test_Isac.thy	Tue Sep 28 09:37:41 2010 +0200
     1.3 @@ -31,7 +31,9 @@
     1.4  cd"smltest/Scripts";
     1.5  *)
     1.6  use"../../../test/Tools/isac/ProgLang/termC.sml"; (*part.*)
     1.7 +
     1.8  use"../../../test/Tools/isac/ProgLang/calculate.sml"; (*part.*)
     1.9 +
    1.10  use"../../../test/Tools/isac/ProgLang/rewrite.sml"; (*part.*)
    1.11  (*
    1.12  	use"listg.sml";