
diff -r 7b03314ee2ac -r 571cb1df0768 src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Sat Jul 21 20:01:16 2012 +0200
+++ b/src/HOL/Library/Library.thy	Sun Jul 22 09:56:34 2012 +0200
@@ -12,6 +12,7 @@
   ContNotDenum
   Convex
   Countable
+  Debug
   Dlist
   Eval_Witness
   Extended_Nat
@@ -37,6 +38,7 @@
   Old_Recdef
   OptionalSugar
   Option_ord
+  Parallel
   Permutation
   Permutations
   Poly_Deriv




