neq0_conv removed from [iff] -- causes problems by simple goals with blast, auto etc...
(* Title: Pure/Tools/ROOT.ML
ID: $Id$
Miscellaneous tools and packages for Pure Isabelle.
*)
use "named_thms.ML";
(*basic XML support*)
use "xml_syntax.ML";
(*derived theory and proof elements*)
use "invoke.ML";