--- a/src/HOL/IsaMakefile Thu May 20 16:35:54 2010 +0200
+++ b/src/HOL/IsaMakefile Thu May 20 16:40:29 2010 +0200
@@ -407,7 +407,7 @@
Library/Fraction_Field.thy Library/Fundamental_Theorem_Algebra.thy \
Library/Inner_Product.thy Library/Kleene_Algebra.thy \
Library/Lattice_Algebras.thy Library/Lattice_Syntax.thy \
- Library/Library.thy Library/List_Prefix.thy Library/List_Set.thy \
+ Library/Library.thy Library/List_Prefix.thy Library/More_Set.thy \
Library/More_List.thy Library/Multiset.thy Library/Permutation.thy \
Library/Quotient_Type.thy Library/Quicksort.thy \
Library/Nat_Infinity.thy Library/README.html Library/State_Monad.thy \