| author | Walther Neuper <neuper@ist.tugraz.at> |
| Wed, 25 Aug 2010 16:20:07 +0200 | |
| branch | isac-update-Isa09-2 |
| changeset 37947 | 22235e4dbe5f |
| parent 37906 | src/Tools/isac/IsacKnowledge/Isac.thy@e2b23ba9df13 |
| child 37954 | 4022d670753c |
| permissions | -rw-r--r-- |
1 (* theory collecting all knowledge defined so far
2 WN.11.00
3 *)
5 Isac = PolyMinus + PolyEq + Vect + DiffApp + Biegelinie + AlgEin
6 + (*InsSort +*) Test +
8 end
10 (* dependencies alternative to those defined by R.Lang during his thesis:
12 Poly Root
13 |\__________ |
14 | \ |
15 | Rational |
16 | | |
17 PolyEq RatEq RootEq
18 \ / \ /
19 \ / \ /
20 RatPolyEq RatRootEq etc.
21 *)