changeset 47232 | e2f0176149d0 |
parent 45990 | b7b905b23b2a |
child 48028 | a5377f6d9f14 |
--- a/src/HOL/Library/Library.thy Fri Mar 30 17:25:34 2012 +0200 +++ b/src/HOL/Library/Library.thy Fri Mar 30 18:56:02 2012 +0200 @@ -12,15 +12,12 @@ ContNotDenum Convex Countable - Cset_Monad - Dlist_Cset Eval_Witness Extended_Nat Float Formal_Power_Series Fraction_Field FrechetDeriv - Cset FuncSet Function_Algebras Fundamental_Theorem_Algebra