| changeset 38137 | 6fda94059baa |
| parent 37785 | 173667d73115 |
| child 39143 | d80990d8b909 |
--- a/src/HOLCF/IsaMakefile Tue Aug 03 16:48:36 2010 +0200 +++ b/src/HOLCF/IsaMakefile Tue Aug 03 16:57:45 2010 +0200 @@ -107,8 +107,8 @@ Library/Strict_Fun.thy \ Library/Sum_Cpo.thy \ Library/HOLCF_Library.thy \ - Library/HOLCF_Library_ROOT.ML - @$(ISABELLE_TOOL) usedir -f HOLCF_Library_ROOT.ML $(OUT)/HOLCF Library + Library/ROOT.ML + @$(ISABELLE_TOOL) usedir $(OUT)/HOLCF Library ## HOLCF-IMP