1.1 --- a/src/Tools/isac/IsacKnowledge/Isac.thy	Wed Aug 25 15:15:01 2010 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,21 +0,0 @@
     1.4 -(* theory collecting all knowledge defined so far
     1.5 -   WN.11.00
     1.6 - *)
     1.7 -
     1.8 -Isac = PolyMinus + PolyEq + Vect + DiffApp + Biegelinie + AlgEin
     1.9 -       + (*InsSort +*) Test + 
    1.10 -
    1.11 -end
    1.12 -
    1.13 -(* dependencies alternative to those defined by R.Lang during his thesis:
    1.14 -
    1.15 -   Poly				Root
    1.16 -     |\__________		 |
    1.17 -     |		 \ 		 |
    1.18 -     |		Rational	 |
    1.19 -     |		  |		 |
    1.20 -   PolyEq	RatEq		RootEq
    1.21 -      \         /  \           /
    1.22 -       \       /    \         /
    1.23 -	RatPolyEq    RatRootEq    etc.
    1.24 -*)