1.1 --- a/src/HOL/Library/Library.thy	Sat Jul 21 20:01:16 2012 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Sun Jul 22 09:56:34 2012 +0200
     1.3 @@ -12,6 +12,7 @@
     1.4    ContNotDenum
     1.5    Convex
     1.6    Countable
     1.7 +  Debug
     1.8    Dlist
     1.9    Eval_Witness
    1.10    Extended_Nat
    1.11 @@ -37,6 +38,7 @@
    1.12    Old_Recdef
    1.13    OptionalSugar
    1.14    Option_ord
    1.15 +  Parallel
    1.16    Permutation
    1.17    Permutations
    1.18    Poly_Deriv