src/HOL/IsaMakefile

   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/Multiset.thy Library/Permutation.thy	\
   Library/Quotient_Type.thy Library/Quicksort.thy			\
-  Library/Nat_Infinity.thy Library/Word.thy Library/README.html		\
+  Library/Nat_Infinity.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					\
   Library/Transitive_Closure_Table.thy Library/While_Combinator.thy	\