--- a/src/HOL/IsaMakefile Thu Nov 13 15:58:38 2008 +0100
+++ b/src/HOL/IsaMakefile Thu Nov 13 15:59:33 2008 +0100
@@ -318,7 +318,7 @@
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/Assert.thy Library/Relational.thy Library/Sublist.thy Library/Subarray.thy \
+ Library/Relational.thy Library/Sublist.thy Library/Subarray.thy \
Library/Ref.thy Library/Imperative_HOL.thy Library/RBT.thy \
Library/Enum.thy Real/Float.thy $(SRC)/Tools/float.ML
@cd Library; $(ISABELLE_TOOL) usedir $(OUT)/HOL Library