--- a/src/HOL/IsaMakefile Fri Jun 01 20:34:12 2007 +0200
+++ b/src/HOL/IsaMakefile Fri Jun 01 22:09:16 2007 +0200
@@ -197,7 +197,7 @@
Library/EfficientNat.thy Library/ExecutableSet.thy Library/ExecutableRat.thy \
Library/Executable_Real.thy \
Library/MLString.thy Library/Infinite_Set.thy \
- Library/FuncSet.thy Library/Library.thy Library/List_Comprehension.thy \
+ Library/FuncSet.thy Library/Library.thy \
Library/List_Prefix.thy Library/State_Monad.thy Library/Multiset.thy Library/NatPair.thy \
Library/Permutation.thy Library/Primes.thy Library/Quotient.thy \
Library/Nat_Infinity.thy Library/Word.thy \