added html.ML, browser_info.ML;

--- a/src/Pure/Thy/ROOT.ML	Tue Mar 09 12:11:29 1999 +0100
+++ b/src/Pure/Thy/ROOT.ML	Tue Mar 09 12:12:02 1999 +0100
@@ -9,8 +9,8 @@
 use "thy_info.ML";
 
 (*theory presentation*)
-(*use "html.ML";*)
-(*use "browser_info.ML";*)	(* FIXME *)
+use "html.ML";
+use "browser_info.ML";
 use "present.ML";
 use "thm_database.ML";