src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Sun Feb 17 21:29:30 2013 +0100
+++ b/src/HOL/Library/Library.thy	Sun Feb 17 22:56:54 2013 +0100
@@ -15,6 +15,7 @@
   Countable_Set
   Debug
   Diagonal_Subsequence
+  Discrete
   Dlist
   Eval_Witness
   Extended_Nat