--- a/src/HOL/IsaMakefile Fri Mar 21 18:16:18 2003 +0100
+++ b/src/HOL/IsaMakefile Sun Mar 23 11:57:07 2003 +0100
@@ -296,8 +296,9 @@
$(LOG)/HOL-Hoare.gz: $(OUT)/HOL Hoare/Arith2.ML Hoare/Arith2.thy \
Hoare/Examples.thy Hoare/hoare.ML Hoare/Hoare.thy \
- Hoare/Pointers.thy Hoare/Pointer_Examples.thy Hoare/ROOT.ML \
- Hoare/ExamplesAbort.thy Hoare/hoareAbort.ML Hoare/HoareAbort.thy
+ Hoare/Heap.thy Hoare/HeapSyntax.thy Hoare/Pointer_Examples.thy \
+ Hoare/ROOT.ML Hoare/ExamplesAbort.thy Hoare/HeapSyntaxAbort.thy \
+ Hoare/hoareAbort.ML Hoare/HoareAbort.thy
@$(ISATOOL) usedir $(OUT)/HOL Hoare