| branch | decompose-isar |
| changeset 41943 | f33f6959948b |
| parent 37960 | ec20007095f2 |
| 41942:72187c16c796 | 41943:f33f6959948b |
|---|---|
1 (* testexamples for Trig, trigonometry |
1 (* testexamples for Trig, trigonometry |
2 *) |
2 *) |
3 "--------------------------------------------------------"; |
|
4 "table of contents --------------------------------------"; |
|
5 "--------------------------------------------------------"; |
|
6 "----------- TODO ---------------------------------------"; |
|
7 "--------------------------------------------------------"; |