1 (* Miscellaneous tools and packages for Pure Isabelle *)
2
3 use "named_thms.ML";
4
5 use "xml_syntax.ML";
6
7 use "find_theorems.ML";
8 use "find_consts.ML";
9