src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Sun Feb 24 20:18:32 2013 +0100
+++ b/src/HOL/Library/Library.thy	Sun Feb 24 20:29:13 2013 +0100
@@ -15,7 +15,6 @@
   Countable_Set
   Debug
   Diagonal_Subsequence
-  Discrete
   Dlist
   Eval_Witness
   Extended_Nat
@@ -26,6 +25,7 @@
   FrechetDeriv
   FuncSet
   Function_Division
+  Function_Growth
   Fundamental_Theorem_Algebra
   Indicator_Function
   Infinite_Set