src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Thu Nov 15 14:04:23 2012 +0100
+++ b/src/HOL/Library/Library.thy	Thu Nov 15 10:49:58 2012 +0100
@@ -13,6 +13,7 @@
   Convex
   Countable
   Debug
+  Diagonal_Subsequence
   Dlist
   Eval_Witness
   Extended_Nat