changeset 7484 | 9deae880cf74 |
child 7720 | b92bbfda8de5 |
7483:5ce623228ef2 | 7484:9deae880cf74 |
---|---|
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 ThmDatabase (user-level access to the theorem database) |