| changeset 15802 | fda379c17260 |
| parent 15801 | d2f5ca3c048d |
| child 15803 | 42c75e0c9140 |
| 15801:d2f5ca3c048d | 15802:fda379c17260 |
|---|---|
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) |
|
10 Latex (simple LaTeX presentation primitives) |
|
11 Present (theory browser info presentation) |
|
12 ThmDatabase (user-level access to the theorem database) |