Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 9516 72b5d28aae58
parent 9510 dbcb1a6c92e1
child 9551 f4bfb69ae94e 
--- 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 \
isabelle