author | wenzelm |
Fri, 27 Feb 2009 15:46:22 +0100 | |
changeset 30142 | 8d6145694bb5 |
parent 29858 | c8cee17d7e50 |
child 30173 | eabece26b89b |
permissions | -rw-r--r-- |
(* Title: Pure/Tools/ROOT.ML Miscellaneous tools and packages for Pure Isabelle. *) use "named_thms.ML"; use "isabelle_process.ML"; (*basic XML support*) use "xml_syntax.ML"; use "find_theorems.ML"; use "find_consts.ML"; (*quickcheck/autosolve needed here because of pg preferences*) use "../../Tools/quickcheck.ML"; use "../../Tools/auto_solve.ML";