| 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/Vect.thy@e2b23ba9df13 |
| child 37972 | 66fc615a1e89 |
| permissions | -rw-r--r-- |
| neuper@37906 | 1 |
Vect = Real + |
| neuper@37906 | 2 |
(*-------------------- consts ------------------------------------------------*) |
| neuper@37906 | 3 |
|
| neuper@37906 | 4 |
(*-------------------- rules -------------------------------------------------*) |
| neuper@37906 | 5 |
end |