# HG changeset patch
# User wenzelm
# Date 910621846 -3600
# Node ID 962bfe78a297cd9d8f25a57d443b056b16c8e940
# Parent  02f4ff005a7814bfd37ce2722ddfefb32475ccbe
Isar -- Intelligible Semi-Automated Reasoning for Isabelle.

diff -r 02f4ff005a78 -r 962bfe78a297 src/Pure/Isar/ROOT.ML
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Isar/ROOT.ML	Mon Nov 09 15:30:46 1998 +0100
@@ -0,0 +1,28 @@
+(*  Title:      Pure/Isar/ROOT.ML
+    ID:         $Id$
+    Author:     Markus Wenzel, TU Muenchen
+
+Isar -- Intelligible Semi-Automated Reasoning for Isabelle.
+*)
+
+(*proof engine*)
+use "proof_context.ML";
+use "proof.ML";
+use "proof_data.ML";
+use "args.ML";
+use "attrib.ML";
+use "method.ML";
+
+(*outer syntax*)
+use "outer_lex.ML";
+use "outer_parse.ML";
+
+(*interactive subsystem*)
+use "proof_history.ML";
+use "toplevel.ML";
+use "outer_syntax.ML";
+
+(*theory operations and syntax*)
+use "isar_thy.ML";
+use "isar_cmd.ML";
+use "isar_syn.ML";