# HG changeset patch
# User wenzelm
# Date 918764336 -3600
# Node ID ae60af165213f5db8865936c0c4ec1376492dca1
# Parent  c8b30f86aadf920e6fecda060b7e7ddd8f5b55a6
tuned;

diff -r c8b30f86aadf -r ae60af165213 src/Pure/Thy/ROOT.ML
--- a/src/Pure/Thy/ROOT.ML	Thu Feb 11 21:18:35 1999 +0100
+++ b/src/Pure/Thy/ROOT.ML	Thu Feb 11 21:18:56 1999 +0100
@@ -7,13 +7,16 @@
 (*theory auto loader database*)
 use "thy_load.ML";
 use "thy_info.ML";
-use "session.ML";
 
 (*theory presentation*)
+(*use "html.ML";*)
+(*use "browser_info.ML";*)	(* FIXME *)
 use "present.ML";
 use "thm_database.ML";
 
-(*theory syntax (old format)*)  (* FIXME rename to OldThy (!?) *)
+use "session.ML";
+
+(*theory syntax (old format)*)
 use "thy_scan.ML";
 use "thy_parse.ML";
 use "thy_syn.ML";