--- a/src/HOL/IsaMakefile Fri Jul 01 10:45:51 2011 +0200
+++ b/src/HOL/IsaMakefile Fri Jul 01 11:26:02 2011 +0200
@@ -150,6 +150,7 @@
$(SRC)/Tools/project_rule.ML \
$(SRC)/Tools/quickcheck.ML \
$(SRC)/Tools/solve_direct.ML \
+ $(SRC)/Tools/subtyping.ML \
$(SRC)/Tools/try.ML \
$(SRC)/Tools/value.ML \
HOL.thy \
@@ -168,7 +169,6 @@
$(SRC)/Provers/trancl.ML \
$(SRC)/Tools/Metis/metis.ML \
$(SRC)/Tools/rat.ML \
- $(SRC)/Tools/subtyping.ML \
Complete_Lattice.thy \
Complete_Partial_Order.thy \
Datatype.thy \