src/Pure/Tools/ROOT.ML
author wenzelm
Thu Jul 14 19:28:24 2005 +0200 (2005-07-14)
changeset 16842 5979c46853d1
parent 16781 663235466562
child 18169 45def66f86cb
permissions -rw-r--r--
tuned;
obua@16781
     1
(*  Title:      Pure/Tools/ROOT.ML
obua@16781
     2
    ID:         $Id$
wenzelm@16842
     3
wenzelm@16842
     4
Miscellaneous tools and packages for Pure Isabelle.
obua@16781
     5
*)
obua@16781
     6
wenzelm@16842
     7
(*Steven Obua's evaluator*)
obua@16781
     8
use "am_interpreter.ML";
wenzelm@16842
     9
use "am_compiler.ML";
obua@16781
    10
use "am_util.ML";
obua@16781
    11
use "compute.ML";