author | wenzelm |
Sat, 13 Dec 2008 15:00:39 +0100 | |
changeset 29091 | b81fe045e799 |
parent 28952 | 15a4b2cf8c34 |
child 29105 | 8f38bf68d42e |
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"; |