| changeset 13682 | 91674c8a008b |
| parent 13672 | b95d12325b51 |
| child 13695 | 3e48dcd25746 |
--- a/src/HOL/IsaMakefile Sun Oct 27 23:34:02 2002 +0100 +++ b/src/HOL/IsaMakefile Mon Oct 28 14:29:51 2002 +0100 @@ -293,7 +293,7 @@ HOL-Hoare: HOL $(LOG)/HOL-Hoare.gz $(LOG)/HOL-Hoare.gz: $(OUT)/HOL Hoare/Arith2.ML Hoare/Arith2.thy \ - Hoare/Examples.ML Hoare/Examples.thy Hoare/Hoare.ML Hoare/Hoare.thy \ + Hoare/Examples.thy Hoare/Hoare.ML Hoare/Hoare.thy \ Hoare/Pointers.thy Hoare/ROOT.ML @$(ISATOOL) usedir $(OUT)/HOL Hoare