1.1 --- a/src/HOL/IsaMakefile	Sat Jul 21 20:01:16 2012 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Sun Jul 22 09:56:34 2012 +0200
     1.3 @@ -452,6 +452,7 @@
     1.4    Tools/Predicate_Compile/code_prolog.ML Library/ContNotDenum.thy	\
     1.5    Library/Continuity.thy						\
     1.6    Library/Convex.thy Library/Countable.thy				\
     1.7 +  Library/Debug.thy							\
     1.8    Library/Dlist.thy Library/Eval_Witness.thy				\
     1.9    Library/DAList.thy Library/Dlist.thy					\
    1.10    Library/Eval_Witness.thy						\
    1.11 @@ -470,6 +471,7 @@
    1.12    Library/Multiset.thy Library/Nat_Bijection.thy			\
    1.13    Library/Numeral_Type.thy Library/Old_Recdef.thy			\
    1.14    Library/OptionalSugar.thy Library/Order_Relation.thy			\
    1.15 +  Library/Parallel.thy							\
    1.16    Library/Permutation.thy Library/Permutations.thy			\
    1.17    Library/Phantom_Type.thy Library/Poly_Deriv.thy			\
    1.18    Library/Polynomial.thy Library/Predicate_Compile_Quickcheck.thy	\
    1.19 @@ -1034,6 +1036,7 @@
    1.20    ex/LocaleTest2.thy ex/MT.thy ex/MergeSort.thy ex/Meson_Test.thy	\
    1.21    ex/MonoidGroup.thy ex/Multiquote.thy ex/NatSum.thy			\
    1.22    ex/Normalization_by_Evaluation.thy ex/Numeral_Representation.thy	\
    1.23 +  ex/Parallel_Example.thy						\
    1.24    ex/PER.thy ex/PresburgerEx.thy ex/Primrec.thy				\
    1.25    ex/Quicksort.thy ex/ROOT.ML						\
    1.26    ex/Records.thy ex/ReflectionEx.thy ex/Refute_Examples.thy		\