--- a/src/HOL/IsaMakefile Wed Feb 10 17:05:40 2010 +0100
+++ b/src/HOL/IsaMakefile Wed Feb 10 19:37:34 2010 +0100
@@ -386,12 +386,12 @@
Library/Permutations.thy Library/Bit.thy Library/FrechetDeriv.thy \
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/State_Monad.thy \
- Library/Nat_Int_Bij.thy Library/Multiset.thy Library/Permutation.thy \
- Library/Quotient.thy Library/Quicksort.thy Library/Nat_Infinity.thy \
- Library/Word.thy Library/README.html Library/Continuity.thy \
+ Library/Lattice_Algebras.thy Library/Lattice_Syntax.thy \
+ Library/Library.thy Library/List_Prefix.thy Library/List_Set.thy \
+ Library/State_Monad.thy Library/Nat_Int_Bij.thy Library/Multiset.thy \
+ Library/Permutation.thy Library/Quotient_Type.thy \
+ Library/Quicksort.thy Library/Nat_Infinity.thy Library/Word.thy \
+ Library/README.html Library/Continuity.thy \
Library/Order_Relation.thy Library/Nested_Environment.thy \
Library/Ramsey.thy Library/Zorn.thy Library/Library/ROOT.ML \
Library/Library/document/root.tex Library/Library/document/root.bib \