author | haftmann |
Sun, 18 Jan 2009 21:12:06 +0100 | |
changeset 29554 | 7e5e5ebb7bf7 |
parent 29105 | 8f38bf68d42e |
child 29576 | 669b560fc2b9 |
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"; (*derived theory and proof elements*) use "invoke.ML"; (*quickcheck needed here because of pg preferences*) use "../../Tools/quickcheck.ML"