# HG changeset patch
# User wenzelm
# Date 1149638495 -7200
# Node ID 60c6bfbf6ca12c3c803a836ea09d5ad0a701b2ce
# Parent  46abcbb2da9dfc036d665d9229a95ff9425e2d94
added invoke.ML;

diff -r 46abcbb2da9d -r 60c6bfbf6ca1 src/Pure/Tools/ROOT.ML
--- a/src/Pure/Tools/ROOT.ML	Wed Jun 07 02:01:34 2006 +0200
+++ b/src/Pure/Tools/ROOT.ML	Wed Jun 07 02:01:35 2006 +0200
@@ -4,7 +4,8 @@
 Miscellaneous tools and packages for Pure Isabelle.
 *)
 
-(*class package*)
+(*derived theory and proof elements*)
+use "invoke.ML";
 use "class_package.ML";
 
 (*code generator, 1st generation*)
@@ -24,7 +25,7 @@
 use "am_util.ML";
 use "compute.ML";
 
-(* norm-by-eval *)
+(*norm-by-eval*)
 use "nbe_eval.ML";
 use "nbe_codegen.ML";
 use "nbe.ML";