author | haftmann |
Wed, 17 Sep 2008 07:32:04 +0200 | |
changeset 28256 | 4e7f7d52f855 |
parent 28247 | 8aa636a9e2ce |
child 28952 | 15a4b2cf8c34 |
permissions | -rw-r--r-- |
16781 | 1 |
(* Title: Pure/Tools/ROOT.ML |
2 |
ID: $Id$ |
|
16842 | 3 |
|
4 |
Miscellaneous tools and packages for Pure Isabelle. |
|
16781 | 5 |
*) |
6 |
||
28227 | 7 |
use "value.ML"; |
28247 | 8 |
use "quickcheck.ML"; |
24046 | 9 |
use "named_thms.ML"; |
25525 | 10 |
use "isabelle_process.ML"; |
24046 | 11 |
|
23614 | 12 |
(*basic XML support*) |
22208 | 13 |
use "xml_syntax.ML"; |
20708 | 14 |
|
19812 | 15 |
(*derived theory and proof elements*) |
16 |
use "invoke.ML"; |