1.1 --- a/src/Tools/isac/Build_Isac.thy	Thu Sep 02 15:11:23 2010 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Thu Sep 02 15:36:48 2010 +0200
     1.3 @@ -63,7 +63,9 @@
     1.4  use_thy "Knowledge/Atools"
     1.5  use_thy "Knowledge/Simplify"
     1.6  
     1.7 -use "../../../test/Tools/isac/Knowledge/poly.sml";
     1.8 +(*use "../../../test/Tools/isac/Knowledge/poly.sml";*)
     1.9 +
    1.10 +
    1.11  use_thy "Knowledge/Poly"
    1.12  
    1.13