author | haftmann |
Wed, 11 Mar 2009 08:45:57 +0100 | |
changeset 30432 | aad3cd70e25a |
parent 30242 | aea5d7fa7ef5 |
child 30973 | 304ab57afa6e |
permissions | -rw-r--r-- |
(* Title: Pure/Tools/ROOT.ML Miscellaneous tools and packages for Pure Isabelle. *) use "named_thms.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";