| author | wenzelm |
| Wed, 31 Jan 2001 22:16:22 +0100 | |
| changeset 11012 | 8eb472444705 |
| 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) |