author | wenzelm |
Wed, 24 May 2000 19:09:36 +0200 | |
changeset 8965 | d46b36785c70 |
parent 7764 | 9be1caad9782 |
child 11893 | 6b9e8820d4de |
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 syntax -- old format*) use "thy_scan.ML"; use "thy_parse.ML"; use "thy_syn.ML"; (*theory syntax -- new format*) use "../Isar/outer_lex.ML"; (*theory presentation*) use "html.ML"; use "latex.ML"; use "present.ML"; use "thm_deps.ML"; (*theorem database -- user-level interface*) use "thm_database.ML";