src/Pure/Tools/ROOT.ML

Moved some lemmas about intervals to Topology

(* Miscellaneous tools and packages for Pure Isabelle *)

use "named_thms.ML";

use "xml_syntax.ML";

use "find_theorems.ML";
use "find_consts.ML";