| author | wenzelm |
| Wed, 03 Feb 1999 17:29:12 +0100 | |
| changeset 6210 | 465cae203337 |
| parent 5013 | 5b0c97631aff |
| child 6276 | ae60af165213 |
| permissions | -rw-r--r-- |
| 390 | 1 |
(* Title: Pure/Thy/ROOT.ML |
| 0 | 2 |
ID: $Id$ |
3 |
||
| 6210 | 4 |
Theory system operations. |
| 0 | 5 |
*) |
6 |
||
| 6210 | 7 |
(*theory auto loader database*) |
8 |
use "thy_load.ML"; |
|
9 |
use "thy_info.ML"; |
|
10 |
use "session.ML"; |
|
| 4115 | 11 |
|
| 6210 | 12 |
(*theory presentation*) |
13 |
use "present.ML"; |
|
14 |
use "thm_database.ML"; |
|
15 |
||
16 |
(*theory syntax (old format)*) (* FIXME rename to OldThy (!?) *) |
|
| 390 | 17 |
use "thy_scan.ML"; |
18 |
use "thy_parse.ML"; |
|
| 413 | 19 |
use "thy_syn.ML"; |