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.
HOLCF/IMP converted to Isar
authorkleing
Sun, 09 Dec 2001 14:37:42 +0100
changeset 12433 654acbf26fcc
parent 12432 90b0fc84f8d9
child 12434 ff2efde4574d
HOLCF/IMP converted to Isar
src/HOLCF/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/IsaMakefile	Sun Dec 09 14:36:14 2001 +0100
+++ b/src/HOLCF/IsaMakefile	Sun Dec 09 14:37:42 2001 +0100
@@ -46,7 +46,7 @@
 
 HOLCF-IMP: HOLCF $(LOG)/HOLCF-IMP.gz
 
-$(LOG)/HOLCF-IMP.gz: $(OUT)/HOLCF IMP/Denotational.ML \
+$(LOG)/HOLCF-IMP.gz: $(OUT)/HOLCF IMP/HoareEx.thy \
   IMP/Denotational.thy IMP/ROOT.ML
 	@$(ISATOOL) usedir $(OUT)/HOLCF IMP
isabelle