| changeset 11598 | 4f26832a7b86 |
| parent 11587 | cf448586f26a |
| child 11609 | 3f3d1add4d94 |
--- a/src/HOL/IsaMakefile Thu Sep 27 18:45:23 2001 +0200 +++ b/src/HOL/IsaMakefile Thu Sep 27 18:45:40 2001 +0200 @@ -155,7 +155,7 @@ 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.thy + Real/ex/BinEx.thy Real/ex/document/root.tex Real/ex/Sqrt_Irrational.thy @cd Real; $(ISATOOL) usedir $(OUT)/HOL-Real ex