--- a/src/HOL/IsaMakefile Fri Feb 05 21:26:20 1999 +0100
+++ b/src/HOL/IsaMakefile Mon Feb 08 13:02:42 1999 +0100
@@ -313,9 +313,9 @@
TLA: HOL $(OUT)/TLA
-$(OUT)/TLA: $(OUT)/HOL TLA/Action.ML TLA/Action.thy TLA/IntLemmas.ML \
- TLA/Intensional.ML TLA/Intensional.thy TLA/ROOT.ML TLA/Stfun.ML \
- TLA/Stfun.thy TLA/TLA.ML TLA/TLA.thy TLA/cladata.ML TLA/hypsubst.ML
+$(OUT)/TLA: $(OUT)/HOL TLA/Action.ML TLA/Action.thy TLA/Init.ML \
+ TLA/Init.thy TLA/IntLemmas.ML TLA/Intensional.ML TLA/Intensional.thy \
+ TLA/ROOT.ML TLA/Stfun.ML TLA/Stfun.thy TLA/TLA.ML TLA/TLA.thy
@cd TLA; $(ISATOOL) usedir -b $(OUT)/HOL TLA