--- a/src/HOL/IsaMakefile Thu Jul 01 09:01:09 2010 +0200
+++ b/src/HOL/IsaMakefile Thu Jul 01 11:48:42 2010 +0200
@@ -406,7 +406,8 @@
Library/Float.thy Library/Formal_Power_Series.thy \
Library/Fraction_Field.thy Library/FrechetDeriv.thy Library/Fset.thy \
Library/FuncSet.thy Library/Fundamental_Theorem_Algebra.thy \
- Library/Glbs.thy Library/Infinite_Set.thy Library/Inner_Product.thy \
+ Library/Glbs.thy Library/Indicator_Function.thy \
+ Library/Infinite_Set.thy Library/Inner_Product.thy \
Library/HOL_Library_ROOT.ML Library/Kleene_Algebra.thy \
Library/LaTeXsugar.thy Library/Lattice_Algebras.thy \
Library/Lattice_Syntax.thy Library/Library.thy \