Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed TLA/Inc/Pcount.thy;
authorwenzelm
Wed, 07 Sep 2005 20:22:15 +0200
changeset 17308 5d9bbc0d9bd3
parent 17307 a6d206750d6d
child 17309 c43ed29bd197
removed TLA/Inc/Pcount.thy;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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
isabelle