--- a/src/HOL/IsaMakefile Wed Mar 30 09:44:17 2011 +0200
+++ b/src/HOL/IsaMakefile Wed Mar 30 10:31:02 2011 +0200
@@ -1049,7 +1049,7 @@
ex/Multiquote.thy ex/NatSum.thy ex/Normalization_by_Evaluation.thy \
ex/Numeral.thy ex/PER.thy ex/PresburgerEx.thy ex/Primrec.thy \
ex/Quickcheck_Examples.thy ex/Quickcheck_Lattice_Examples.thy \
- ex/Quickcheck_Narrowing_Examples.thy \
+ ex/Quickcheck_Narrowing_Examples.thy ex/SML_Quickcheck_Examples.thy \
ex/Quicksort.thy ex/ROOT.ML ex/Recdefs.thy ex/Records.thy \
ex/ReflectionEx.thy ex/Refute_Examples.thy ex/SAT_Examples.thy \
ex/SVC_Oracle.thy ex/Serbian.thy ex/Set_Algebras.thy \