(* theory collecting all knowledge defined so far

    WN.11.00

  *)

 Isac = PolyMinus + PolyEq + Vect + DiffApp + Biegelinie + AlgEin

        + (*InsSort +*) Test + 

 end

 (* dependencies alternative to those defined by R.Lang during his thesis:

    Poly				Root

      |\__________		 |

      |		 \ 		 |

      |		Rational	 |

      |		  |		 |

    PolyEq	RatEq		RootEq

       \         /  \           /

        \       /    \         /

 	RatPolyEq    RatRootEq    etc.

 *)