| 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-- |
| neuper@37906 | 1 |
(* theory collecting all knowledge defined so far |
| neuper@37906 | 2 |
WN.11.00 |
| neuper@37906 | 3 |
*) |
| neuper@37906 | 4 |
|
| neuper@37906 | 5 |
Isac = PolyMinus + PolyEq + Vect + DiffApp + Biegelinie + AlgEin |
| neuper@37906 | 6 |
+ (*InsSort +*) Test + |
| neuper@37906 | 7 |
|
| neuper@37906 | 8 |
end |
| neuper@37906 | 9 |
|
| neuper@37906 | 10 |
(* dependencies alternative to those defined by R.Lang during his thesis: |
| neuper@37906 | 11 |
|
| neuper@37906 | 12 |
Poly Root |
| neuper@37906 | 13 |
|\__________ | |
| neuper@37906 | 14 |
| \ | |
| neuper@37906 | 15 |
| Rational | |
| neuper@37906 | 16 |
| | | |
| neuper@37906 | 17 |
PolyEq RatEq RootEq |
| neuper@37906 | 18 |
\ / \ / |
| neuper@37906 | 19 |
\ / \ / |
| neuper@37906 | 20 |
RatPolyEq RatRootEq etc. |
| neuper@37906 | 21 |
*) |