--- a/src/Pure/IsaMakefile Thu May 10 00:39:49 2007 +0200
+++ b/src/Pure/IsaMakefile Thu May 10 00:39:50 2007 +0200
@@ -63,9 +63,9 @@
Tools/codegen_names.ML Tools/codegen_package.ML Tools/codegen_serializer.ML \
Tools/codegen_thingol.ML Tools/compute.ML Tools/invoke.ML Tools/nbe.ML \
Tools/nbe_codegen.ML Tools/nbe_eval.ML Tools/xml_syntax.ML assumption.ML \
- axclass.ML codegen.ML compress.ML conjunction.ML consts.ML context.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 \
+ axclass.ML codegen.ML compress.ML conjunction.ML consts.ML context.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 pure_thy.ML search.ML sign.ML \
simplifier.ML sorts.ML subgoal.ML tactic.ML tctical.ML term.ML term_subst.ML \
theory.ML thm.ML type.ML type_infer.ML unify.ML variable.ML
--- a/src/Pure/ROOT.ML Thu May 10 00:39:49 2007 +0200
+++ b/src/Pure/ROOT.ML Thu May 10 00:39:50 2007 +0200
@@ -70,6 +70,7 @@
use "pure_thy.ML";
use "display.ML";
use "drule.ML";
+use "conv.ML";
use "morphism.ML";
use "variable.ML";
use "tctical.ML";