| author | Walther Neuper <neuper@ist.tugraz.at> |
| Fri, 10 Sep 2010 11:58:46 +0200 | |
| branch | isac-update-Isa09-2 |
| changeset 38002 | 10a171ce75d5 |
| parent 37992 | 351a9e94c38d |
| child 48880 | ea0c337066d9 |
| permissions | -rw-r--r-- |
| neuper@37992 | 1 |
theory Trig imports Real begin |
| neuper@37906 | 2 |
|
| neuper@37906 | 3 |
end |