diff -r a6cd1a454751 -r 4b3d280ef06a src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Jul 22 19:33:12 2004 +0200
+++ b/src/HOL/IsaMakefile	Mon Jul 26 15:48:50 2004 +0200
@@ -78,6 +78,7 @@
   $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/induct_method.ML \
   $(SRC)/Provers/make_elim.ML $(SRC)/Provers/order.ML \
   $(SRC)/Provers/simplifier.ML $(SRC)/Provers/splitter.ML \
+  $(SRC)/Provers/trancl.ML \
   $(SRC)/TFL/dcterm.ML $(SRC)/TFL/post.ML $(SRC)/TFL/rules.ML \
   $(SRC)/TFL/tfl.ML $(SRC)/TFL/thms.ML $(SRC)/TFL/thry.ML \
   $(SRC)/TFL/usyntax.ML $(SRC)/TFL/utils.ML \