src/Pure/Tools/ROOT.ML

generalize tendsto and related constants to class metric_space

(* Miscellaneous tools and packages for Pure Isabelle *)

use "named_thms.ML";

use "xml_syntax.ML";

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