# HG changeset patch
# User kleing
# Date 1007905062 -3600
# Node ID 654acbf26fcc3b9cb5e9507900ef46440a1b91fe
# Parent  90b0fc84f8d94c113293b62af136ce3d8d57875b
HOLCF/IMP converted to Isar

diff -r 90b0fc84f8d9 -r 654acbf26fcc src/HOLCF/IsaMakefile
--- 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