equal
deleted
inserted
replaced
2 ID: $Id$ |
2 ID: $Id$ |
3 |
3 |
4 Miscellaneous tools and packages for Pure Isabelle. |
4 Miscellaneous tools and packages for Pure Isabelle. |
5 *) |
5 *) |
6 |
6 |
|
7 use "value.ML"; |
7 use "named_thms.ML"; |
8 use "named_thms.ML"; |
8 use "isabelle_process.ML"; |
9 use "isabelle_process.ML"; |
9 |
10 |
10 (*basic XML support*) |
11 (*basic XML support*) |
11 use "xml_syntax.ML"; |
12 use "xml_syntax.ML"; |
12 |
13 |
13 (*derived theory and proof elements*) |
14 (*derived theory and proof elements*) |
14 use "invoke.ML"; |
15 use "invoke.ML"; |
15 |
|