# HG changeset patch
# User wenzelm
# Date 965323717 -7200
# Node ID 72b5d28aae5897c4574abd74453784d5e1f87de6
# Parent  e6dfc9c9bf89bb50457d0e40a3a555e18279ce74
tuned TLA;

diff -r e6dfc9c9bf89 -r 72b5d28aae58 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Aug 03 18:45:15 2000 +0200
+++ b/src/HOL/IsaMakefile	Thu Aug 03 19:28:37 2000 +0200
@@ -474,7 +474,7 @@
 TLA: HOL $(OUT)/TLA
 
 $(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/Init.thy 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
 
@@ -502,7 +502,7 @@
 TLA-Memory: TLA $(LOG)/TLA-Memory.gz
 
 $(LOG)/TLA-Memory.gz: $(OUT)/TLA TLA/Memory/MIParameters.thy \
-  TLA/Memory/MIlive.ML TLA/Memory/MIsafe.ML TLA/Memory/MemClerk.ML \
+  TLA/Memory/MIsafe.ML TLA/Memory/MemClerk.ML \
   TLA/Memory/MemClerk.thy TLA/Memory/MemClerkParameters.ML \
   TLA/Memory/MemClerkParameters.thy TLA/Memory/Memory.ML \
   TLA/Memory/Memory.thy TLA/Memory/MemoryImplementation.ML \