changeset 51263 | 31e786e0e6a7 |
parent 51174 | 071674018df9 |
child 51338 | 054d1653950f |
--- 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