src/Pure/Thy/ROOT.ML

 (*  Title:      Pure/Thy/ROOT.ML
     ID:         $Id$
 
-This file builds the theory parser and autoloading system.
+Theory system operations.
 *)
 
-use "use.ML";
+(*theory auto loader database*)
+use "thy_load.ML";
+use "thy_info.ML";
+use "session.ML";
 
+(*theory presentation*)
+use "present.ML";
+use "thm_database.ML";
+
+(*theory syntax (old format)*)  (* FIXME rename to OldThy (!?) *)
 use "thy_scan.ML";
 use "thy_parse.ML";
 use "thy_syn.ML";
-
-use "context.ML";
-
-use "thy_info.ML";
-use "browser_info.ML";
-use "thm_database.ML";
-use "thy_read.ML";
-
-open ThmDatabase ThyRead ThyInfo BrowserInfo;