src/Pure/Tools/ROOT.ML
author haftmann
Tue Sep 16 09:21:22 2008 +0200 (2008-09-16)
changeset 28227 77221ee0f7b9
parent 25525 d6b898681fc7
child 28247 8aa636a9e2ce
permissions -rw-r--r--
generic value command
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
haftmann@28227
     7
use "value.ML";
wenzelm@24046
     8
use "named_thms.ML";
wenzelm@25525
     9
use "isabelle_process.ML";
wenzelm@24046
    10
wenzelm@23614
    11
(*basic XML support*)
haftmann@22208
    12
use "xml_syntax.ML";
haftmann@20708
    13
wenzelm@19812
    14
(*derived theory and proof elements*)
wenzelm@19812
    15
use "invoke.ML";