# HG changeset patch
# User bulwahn
# Date 1309512362 -7200
# Node ID 2c741b50d4b73746b342dc3e099f6e8457bee8fb
# Parent  7afbaf5a406b33f3e43c3a6c79443761026af4ba
improving actual dependencies

diff -r 7afbaf5a406b -r 2c741b50d4b7 src/HOL/IsaMakefile
--- 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 \