author | wenzelm |
Tue, 09 Mar 1999 12:12:45 +0100 | |
changeset 6324 | 3b7111b360b1 |
parent 6323 | e5b3e46d5dbd |
child 6346 | 643a1bd31a91 |
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"; |
|
4115 | 10 |
|
6210 | 11 |
(*theory presentation*) |
6323 | 12 |
use "html.ML"; |
13 |
use "browser_info.ML"; |
|
6210 | 14 |
use "present.ML"; |
15 |
use "thm_database.ML"; |
|
16 |
||
6276 | 17 |
use "session.ML"; |
18 |
||
19 |
(*theory syntax (old format)*) |
|
390 | 20 |
use "thy_scan.ML"; |
21 |
use "thy_parse.ML"; |
|
413 | 22 |
use "thy_syn.ML"; |