--- a/src/Pure/IsaMakefile Thu Jul 27 13:43:01 2006 +0200
+++ b/src/Pure/IsaMakefile Thu Jul 27 13:43:03 2006 +0200
@@ -61,12 +61,12 @@
Tools/codegen_theorems.ML Tools/codegen_simtype.ML \
Tools/codegen_thingol.ML Tools/compute.ML \
Tools/invoke.ML Tools/nbe.ML Tools/nbe_codegen.ML Tools/nbe_eval.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 name.ML net.ML old_goals.ML pattern.ML \
- proof_general.ML proofterm.ML pure_thy.ML search.ML sign.ML \
- simplifier.ML sorts.ML subgoal.ML tactic.ML tctical.ML term.ML theory.ML \
- thm.ML type.ML type_infer.ML variable.ML unify.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 name.ML net.ML \
+ old_goals.ML pattern.ML proof_general.ML proofterm.ML pure_thy.ML search.ML \
+ sign.ML simplifier.ML sorts.ML subgoal.ML tactic.ML tctical.ML term.ML \
+ theory.ML thm.ML type.ML type_infer.ML variable.ML unify.ML
@./mk