--- a/src/Pure/IsaMakefile Wed Dec 31 00:08:14 2008 +0100
+++ b/src/Pure/IsaMakefile Wed Dec 31 15:30:10 2008 +0100
@@ -82,8 +82,8 @@
logic.ML meta_simplifier.ML more_thm.ML morphism.ML name.ML net.ML \
old_goals.ML old_term.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 \
+ subgoal.ML tactic.ML tctical.ML term.ML term_ord.ML term_subst.ML \
+ theory.ML thm.ML type.ML type_infer.ML unify.ML variable.ML \
../Tools/quickcheck.ML
@./mk