# HG changeset patch
# User wenzelm
# Date 918475362 -3600
# Node ID f6335d319e9fe8301ba7318ddefd5948aed8c5cb
# Parent  dbaf79ac2ff90a3062440aff2059364d0c7f42c6
updated TLA;

diff -r dbaf79ac2ff9 -r f6335d319e9f src/HOL/IsaMakefile
--- 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