| changeset 7577 | 644f9b4ae764 |
| parent 7535 | 599d3414b51d |
| child 7624 | 9024e9d370c7 |
--- a/src/HOL/IsaMakefile Wed Sep 22 21:02:59 1999 +0200 +++ b/src/HOL/IsaMakefile Wed Sep 22 21:04:34 1999 +0200 @@ -90,7 +90,8 @@ HOL-Real-ex: HOL-Real $(LOG)/HOL-Real-ex.gz -$(LOG)/HOL-Real-ex.gz: $(OUT)/HOL-Real Real/ex/ROOT.ML Real/ex/BinEx.ML +$(LOG)/HOL-Real-ex.gz: $(OUT)/HOL-Real Real/ex/ROOT.ML \ + Real/ex/BinEx.thy @cd Real; $(ISATOOL) usedir $(OUT)/HOL-Real ex