changeset 16554 | 5841e7f9eef5 |
parent 16386 | c6f5ade29608 |
child 16698 | 53ba41c5fa7c |
--- a/src/HOLCF/IsaMakefile Thu Jun 23 22:07:30 2005 +0200 +++ b/src/HOLCF/IsaMakefile Thu Jun 23 22:08:24 2005 +0200 @@ -58,7 +58,7 @@ $(LOG)/HOLCF-ex.gz: $(OUT)/HOLCF ex/Dagstuhl.ML ex/Dagstuhl.thy \ ex/Dnat.thy ex/Fix2.ML ex/Fix2.thy ex/Focus_ex.ML \ ex/Focus_ex.thy ex/Hoare.ML ex/Hoare.thy ex/Loop.ML ex/Loop.thy \ - ex/ROOT.ML ex/loeckx.ML \ + ex/ROOT.ML ex/loeckx.ML ex/Fixrec_ex.thy \ ../HOL/Library/Nat_Infinity.thy @$(ISATOOL) usedir $(OUT)/HOLCF ex