author | wenzelm |
Wed, 06 Aug 1997 11:52:16 +0200 | |
changeset 3619 | 0fc67ad6d62a |
parent 3600 | 5366dde08dba |
child 3625 | 33f718b4f7bf |
permissions | -rw-r--r-- |
(* Title: Pure/Thy/ROOT.ML ID: $Id$ Author: Sonia Mahjoub and Tobias Nipkow and Markus Wenzel and Carsten Clasohm, TU Muenchen This file builds the theory parser and autoloading system. *) use "thy_scan.ML"; use "thy_parse.ML"; use "thy_syn.ML"; use "thy_info.ML"; use "browser_info.ML"; use "thm_database.ML"; use "symbol_input.ML"; use "thy_read.ML"; open ThmDB ThyRead ThyInfo BrowserInfo SymbolInput; (* FIXME tmp *) fun set_session s = writeln ("This is the " ^ quote s ^ " session.");