| author | berghofe |
| Mon, 21 Oct 2002 17:23:23 +0200 | |
| changeset 13671 | eec2582923f6 |
| parent 7720 | b92bbfda8de5 |
| permissions | -rw-r--r-- |
| 7484 | 1 |
|
2 |
Pure/Thy/ |
|
3 |
||
4 |
This directory contains the theory loader system, theory presentation |
|
5 |
components, and the parser setup for old-style theory files. |
|
6 |
||
7 |
ThyLoad (theory loader primitives, including load path) |
|
8 |
ThyInfo (theory loader main) |
|
9 |
HTML (HTML presentation primitives) |
|
| 7720 | 10 |
Latex (simple LaTeX presentation primitives) |
11 |
Present (theory browser info presentation) |
|
| 7484 | 12 |
ThmDatabase (user-level access to the theorem database) |