--- a/src/HOL/IsaMakefile Fri Jan 07 18:10:42 2011 +0100
+++ b/src/HOL/IsaMakefile Fri Jan 07 18:10:43 2011 +0100
@@ -1041,7 +1041,8 @@
ex/HarmonicSeries.thy ex/Hebrew.thy ex/Hex_Bin_Examples.thy \
ex/Higher_Order_Logic.thy ex/Iff_Oracle.thy ex/Induction_Schema.thy \
ex/InductiveInvariant.thy ex/InductiveInvariant_examples.thy \
- ex/Intuitionistic.thy ex/Lagrange.thy ex/LocaleTest2.thy ex/MT.thy \
+ ex/Intuitionistic.thy ex/Lagrange.thy \
+ ex/List_to_Set_Comprehension_Examples.thy ex/LocaleTest2.thy ex/MT.thy \
ex/MergeSort.thy ex/Meson_Test.thy ex/MonoidGroup.thy \
ex/Multiquote.thy ex/NatSum.thy ex/Normalization_by_Evaluation.thy \
ex/Numeral.thy ex/PER.thy ex/PresburgerEx.thy ex/Primrec.thy \