| changeset 37119 | b36a5512c5fb |
| parent 37111 | 3f84f1f4de64 |
| child 37779 | 982b0668dcbd |
--- a/src/HOLCF/IsaMakefile Tue May 25 21:49:44 2010 +0200 +++ b/src/HOLCF/IsaMakefile Tue May 25 22:12:26 2010 +0200 @@ -101,8 +101,8 @@ Library/Strict_Fun.thy \ Library/Sum_Cpo.thy \ Library/HOLCF_Library.thy \ - Library/ROOT.ML - @$(ISABELLE_TOOL) usedir $(OUT)/HOLCF Library + Library/HOLCF_Library_ROOT.ML + @$(ISABELLE_TOOL) usedir -f HOLCF_Library_ROOT.ML $(OUT)/HOLCF Library ## HOLCF-IMP