1
(* Title: Pure/Tools/ROOT.ML
2
ID: $Id$
3
4
Miscellaneous tools and packages for Pure Isabelle.
5
*)
6
7
use "named_thms.ML";
8
9
(*basic XML support*)
10
use "xml_syntax.ML";
11
12
(*derived theory and proof elements*)
13
use "invoke.ML";