author | wenzelm |
Mon, 29 Dec 2008 15:16:01 +0100 | |
changeset 29192 | 082ee2a01a6d |
parent 29105 | 8f38bf68d42e |
child 29576 | 669b560fc2b9 |
permissions | -rw-r--r-- |
16781 | 1 |
(* Title: Pure/Tools/ROOT.ML |
16842 | 2 |
|
3 |
Miscellaneous tools and packages for Pure Isabelle. |
|
16781 | 4 |
*) |
5 |
||
24046 | 6 |
use "named_thms.ML"; |
25525 | 7 |
use "isabelle_process.ML"; |
24046 | 8 |
|
23614 | 9 |
(*basic XML support*) |
22208 | 10 |
use "xml_syntax.ML"; |
20708 | 11 |
|
19812 | 12 |
(*derived theory and proof elements*) |
13 |
use "invoke.ML"; |
|
29105 | 14 |
|
15 |
(*quickcheck needed here because of pg preferences*) |
|
16 |
use "../../Tools/quickcheck.ML" |