| 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/RootRat.thy@e2b23ba9df13 |
| child 37954 | 4022d670753c |
| permissions | -rw-r--r-- |
1 (*.(c) by Richard Lang, 2003 .*)
2 (* collecting all knowledge for Root and Rational
3 created by: rlang
4 date: 02.10
5 changed by: rlang
6 last change by: rlang
7 date: 02.10.20
8 *)
10 RootRat = Root + Rational +
11 (*-------------------- consts------------------------------------------------*)
14 (*-------------------- rules------------------------------------------------*)
16 end