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 fix.thy, pair.thy, simpdata.ML;
authorwenzelm
Sat, 03 Sep 2005 17:54:05 +0200
changeset 17246 0f22089c6b9e
parent 17245 1c519a3cca59
child 17247 6927a62c77dc
removed fix.thy, pair.thy, simpdata.ML; renamed LCF.ML to LCF_lemmas.ML;
src/LCF/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/LCF/IsaMakefile	Sat Sep 03 17:15:51 2005 +0200
+++ b/src/LCF/IsaMakefile	Sat Sep 03 17:54:05 2005 +0200
@@ -26,8 +26,7 @@
 FOL:
 	@cd $(SRC)/FOL; $(ISATOOL) make FOL
 
-$(OUT)/LCF: $(OUT)/FOL LCF.ML LCF.thy ROOT.ML fix.ML fix.thy pair.ML \
-  pair.thy simpdata.ML
+$(OUT)/LCF: $(OUT)/FOL LCF_lemmas.ML LCF.thy ROOT.ML fix.ML pair.ML
 	@$(ISATOOL) usedir -b -r $(OUT)/FOL LCF
isabelle