# HG changeset patch
# User wenzelm
# Date 1185712202 -7200
# Node ID 10f681043e078f6fced503f707586ca207962200
# Parent  bead02a55952e78b15e3ca8f220a54728940ab7c
added Tools/named_thms.ML;

diff -r bead02a55952 -r 10f681043e07 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Sun Jul 29 14:30:01 2007 +0200
+++ b/src/Pure/IsaMakefile	Sun Jul 29 14:30:02 2007 +0200
@@ -61,9 +61,9 @@
   Tools/class_package.ML Tools/codegen_consts.ML Tools/codegen_data.ML		\
   Tools/codegen_func.ML Tools/codegen_funcgr.ML Tools/codegen_names.ML		\
   Tools/codegen_package.ML Tools/codegen_serializer.ML Tools/codegen_thingol.ML	\
-  Tools/invoke.ML Tools/nbe.ML Tools/nbe_codegen.ML Tools/nbe_eval.ML		\
-  Tools/xml.ML Tools/xml_syntax.ML assumption.ML axclass.ML codegen.ML		\
-  compress.ML config_option.ML conjunction.ML consts.ML context.ML		\
+  Tools/invoke.ML Tools/named_thms.ML Tools/nbe.ML Tools/nbe_codegen.ML		\
+  Tools/nbe_eval.ML Tools/xml.ML Tools/xml_syntax.ML assumption.ML axclass.ML 	\
+  codegen.ML compress.ML config_option.ML conjunction.ML consts.ML context.ML	\
   context_position.ML conv.ML defs.ML display.ML drule.ML envir.ML		\
   fact_index.ML goal.ML install_pp.ML library.ML logic.ML meta_simplifier.ML	\
   more_thm.ML morphism.ML name.ML net.ML old_goals.ML pattern.ML proofterm.ML	\
diff -r bead02a55952 -r 10f681043e07 src/Pure/Tools/ROOT.ML
--- a/src/Pure/Tools/ROOT.ML	Sun Jul 29 14:30:01 2007 +0200
+++ b/src/Pure/Tools/ROOT.ML	Sun Jul 29 14:30:02 2007 +0200
@@ -4,6 +4,8 @@
 Miscellaneous tools and packages for Pure Isabelle.
 *)
 
+use "named_thms.ML";
+
 (*basic XML support*)
 use "xml.ML";
 use "xml_syntax.ML";