src/Pure/Tools/ROOT.ML
changeset 16842 5979c46853d1
parent 16781 663235466562
child 18169 45def66f86cb
     1.1 --- a/src/Pure/Tools/ROOT.ML	Thu Jul 14 19:28:23 2005 +0200
     1.2 +++ b/src/Pure/Tools/ROOT.ML	Thu Jul 14 19:28:24 2005 +0200
     1.3 @@ -1,8 +1,11 @@
     1.4  (*  Title:      Pure/Tools/ROOT.ML
     1.5      ID:         $Id$
     1.6 +
     1.7 +Miscellaneous tools and packages for Pure Isabelle.
     1.8  *)
     1.9  
    1.10 +(*Steven Obua's evaluator*)
    1.11  use "am_interpreter.ML";
    1.12 -use "am_compiler.ML"; 
    1.13 +use "am_compiler.ML";
    1.14  use "am_util.ML";
    1.15  use "compute.ML";