1.1 --- a/src/Tools/isac/Build_Isac.thy	Mon Sep 06 14:48:38 2010 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Mon Sep 06 15:09:37 2010 +0200
     1.3 @@ -67,6 +67,7 @@
     1.4  use_thy "Knowledge/Rational"
     1.5  use_thy "Knowledge/PolyMinus"
     1.6  use_thy "Knowledge/Equation"
     1.7 +use_thy "Knowledge/LinEq"
     1.8  
     1.9  ML {* 
    1.10  111;
    1.11 @@ -75,7 +76,6 @@
    1.12  
    1.13  text {*------------------------------------------*}
    1.14  (*
    1.15 -use_thy "Knowledge/LinEq"
    1.16  use_thy "Knowledge/Root"
    1.17  use_thy "Knowledge/RootEq"
    1.18  use_thy "Knowledge/RatEq"