1.1 --- a/src/HOL/IsaMakefile	Fri Jul 01 10:45:51 2011 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Jul 01 11:26:02 2011 +0200
     1.3 @@ -150,6 +150,7 @@
     1.4    $(SRC)/Tools/project_rule.ML \
     1.5    $(SRC)/Tools/quickcheck.ML \
     1.6    $(SRC)/Tools/solve_direct.ML \
     1.7 +  $(SRC)/Tools/subtyping.ML \
     1.8    $(SRC)/Tools/try.ML \
     1.9    $(SRC)/Tools/value.ML \
    1.10    HOL.thy \
    1.11 @@ -168,7 +169,6 @@
    1.12    $(SRC)/Provers/trancl.ML \
    1.13    $(SRC)/Tools/Metis/metis.ML \
    1.14    $(SRC)/Tools/rat.ML \
    1.15 -  $(SRC)/Tools/subtyping.ML \
    1.16    Complete_Lattice.thy \
    1.17    Complete_Partial_Order.thy \
    1.18    Datatype.thy \