branch | isac-update-Isa09-2 |
changeset 37947 | 22235e4dbe5f |
parent 37906 | e2b23ba9df13 |
child 37954 | 4022d670753c |
37946:a28b5fc129b7 | 37947:22235e4dbe5f |
---|---|
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 *) |
|
9 |
|
10 RootRat = Root + Rational + |
|
11 (*-------------------- consts------------------------------------------------*) |
|
12 |
|
13 |
|
14 (*-------------------- rules------------------------------------------------*) |
|
15 |
|
16 end |