diff -r 6aefc5ff8e63 -r 5c25a2012975 src/Pure/IsaMakefile
--- 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