# HG changeset patch
# User wenzelm
# Date 1126117335 -7200
# Node ID 5d9bbc0d9bd370a20268e029f206482250b461d2
# Parent  a6d206750d6d5a79d89005ee68d4daf58815aa4d
removed TLA/Inc/Pcount.thy;

diff -r a6d206750d6d -r 5d9bbc0d9bd3 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Sep 07 18:22:29 2005 +0200
+++ b/src/HOL/IsaMakefile	Wed Sep 07 20:22:15 2005 +0200
@@ -663,8 +663,7 @@
 
 TLA-Inc: TLA $(LOG)/TLA-Inc.gz
 
-$(LOG)/TLA-Inc.gz: $(OUT)/TLA TLA/Inc/Inc.thy TLA/Inc/Inc.ML \
-  TLA/Inc/Pcount.thy
+$(LOG)/TLA-Inc.gz: $(OUT)/TLA TLA/Inc/Inc.thy TLA/Inc/Inc.ML
 	@cd TLA; $(ISATOOL) usedir $(OUT)/TLA Inc