| changeset 29606 | fedb8be05f24 |
| parent 29497 | d828e6ca9c11 |
| child 31819 | 2c0ab4485f48 |
| 29605:f2924219125e | 29606:fedb8be05f24 |
|---|---|
1 (* Title: Pure/Thy/present.ML |
1 (* Title: Pure/Thy/present.ML |
2 ID: $Id$ |
|
3 Author: Markus Wenzel and Stefan Berghofer, TU Muenchen |
2 Author: Markus Wenzel and Stefan Berghofer, TU Muenchen |
4 |
3 |
5 Theory presentation: HTML, graph files, (PDF)LaTeX documents. |
4 Theory presentation: HTML, graph files, (PDF)LaTeX documents. |
6 *) |
5 *) |
7 |
6 |