--- a/src/HOL/IsaMakefile Wed Feb 27 21:41:07 2008 +0100
+++ b/src/HOL/IsaMakefile Wed Feb 27 21:41:08 2008 +0100
@@ -233,7 +233,9 @@
Library/Code_Index.thy Library/Code_Char.thy Library/Code_Char_chr.thy \
Library/Code_Integer.thy Library/Code_Message.thy \
Library/Abstract_Rat.thy Library/Univ_Poly.thy\
- Library/Numeral_Type.thy Library/Boolean_Algebra.thy
+ Library/Numeral_Type.thy Library/Boolean_Algebra.thy Library/Countable.thy \
+ Library/RType.thy Library/Heap.thy Library/Heap_Monad.thy Library/Array.thy \
+ Library/Ref.thy Library/Imperative_HOL.thy
@cd Library; $(ISATOOL) usedir $(OUT)/HOL Library