1.1 --- a/src/Tools/isac/Test_Isac.thy	Tue Sep 28 07:37:12 2010 +0200
     1.2 +++ b/src/Tools/isac/Test_Isac.thy	Tue Sep 28 08:58:06 2010 +0200
     1.3 @@ -66,9 +66,9 @@
     1.4   	use"complex.sml";
     1.5   	use"diff.sml";
     1.6   	use"diffapp.sml";
     1.7 -(**)
     1.8 -use "Knowledge/integrate.sml"; (*part.*)
     1.9 -
    1.10 +*)
    1.11 +use "../../../test/Tools/isac/Knowledge/integrate.sml"; (*part.*)
    1.12 +(*
    1.13  	use"equation.sml";
    1.14  	(*use"inssort.sml"; problems with recdef in Isabelle2002*)
    1.15   	use"logexp.sml";