author | Walther Neuper <neuper@ist.tugraz.at> |
Wed, 08 Sep 2010 16:54:15 +0200 | |
branch | isac-update-Isa09-2 |
changeset 37992 | 351a9e94c38d |
parent 37972 | 66fc615a1e89 |
child 59206 | ebf4a8a63371 |
permissions | -rw-r--r-- |
neuper@37992 | 1 |
theory Vect imports Real begin |
neuper@37906 | 2 |
|
neuper@37906 | 3 |
end |