src/Pure/Tools/ROOT.ML

--- a/src/Pure/Tools/ROOT.ML	Thu Jul 14 19:28:23 2005 +0200
+++ b/src/Pure/Tools/ROOT.ML	Thu Jul 14 19:28:24 2005 +0200
@@ -1,8 +1,11 @@
 (*  Title:      Pure/Tools/ROOT.ML
     ID:         $Id$
+
+Miscellaneous tools and packages for Pure Isabelle.
 *)
 
+(*Steven Obua's evaluator*)
 use "am_interpreter.ML";
-use "am_compiler.ML"; 
+use "am_compiler.ML";
 use "am_util.ML";
 use "compute.ML";