| author | haftmann |
| Wed, 02 Apr 2008 15:58:37 +0200 | |
| changeset 26515 | 4a2063a8c2d2 |
| parent 25525 | d6b898681fc7 |
| child 28227 | 77221ee0f7b9 |
| 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 |
||
| 24046 | 7 |
use "named_thms.ML"; |
| 25525 | 8 |
use "isabelle_process.ML"; |
| 24046 | 9 |
|
| 23614 | 10 |
(*basic XML support*) |
| 22208 | 11 |
use "xml_syntax.ML"; |
| 20708 | 12 |
|
| 19812 | 13 |
(*derived theory and proof elements*) |
14 |
use "invoke.ML"; |
|
| 25525 | 15 |