author | wenzelm |
Tue, 09 Mar 1999 12:12:02 +0100 | |
changeset 6323 | e5b3e46d5dbd |
parent 6276 | ae60af165213 |
child 6346 | 643a1bd31a91 |
permissions | -rw-r--r-- |
(* Title: Pure/Thy/ROOT.ML ID: $Id$ Theory system operations. *) (*theory auto loader database*) use "thy_load.ML"; use "thy_info.ML"; (*theory presentation*) use "html.ML"; use "browser_info.ML"; use "present.ML"; use "thm_database.ML"; use "session.ML"; (*theory syntax (old format)*) use "thy_scan.ML"; use "thy_parse.ML"; use "thy_syn.ML";