--- a/src/Pure/IsaMakefile Thu Sep 18 12:13:50 2008 +0200
+++ b/src/Pure/IsaMakefile Thu Sep 18 14:06:56 2008 +0200
@@ -76,13 +76,14 @@
Thy/thy_output.ML Tools/ROOT.ML Tools/invoke.ML Tools/quickcheck.ML \
Tools/value.ML Tools/isabelle_process.ML Tools/named_thms.ML \
Tools/xml_syntax.ML assumption.ML axclass.ML codegen.ML config.ML \
- conjunction.ML consts.ML context.ML conv.ML defs.ML display.ML \
- drule.ML envir.ML facts.ML goal.ML interpretation.ML library.ML \
- logic.ML meta_simplifier.ML more_thm.ML morphism.ML name.ML net.ML \
- old_goals.ML pattern.ML primitive_defs.ML proofterm.ML pure_setup.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
+ conjunction.ML consts.ML context.ML conv.ML defs.ML deriv.ML \
+ display.ML drule.ML envir.ML facts.ML goal.ML interpretation.ML \
+ library.ML logic.ML meta_simplifier.ML more_thm.ML morphism.ML \
+ name.ML net.ML old_goals.ML pattern.ML primitive_defs.ML \
+ proofterm.ML pure_setup.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
@./mk