src/HOL/Library/Library.thy
changeset 47232 e2f0176149d0
parent 45990 b7b905b23b2a
child 48028 a5377f6d9f14
     1.1 --- a/src/HOL/Library/Library.thy	Fri Mar 30 17:25:34 2012 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Fri Mar 30 18:56:02 2012 +0200
     1.3 @@ -12,15 +12,12 @@
     1.4    ContNotDenum
     1.5    Convex
     1.6    Countable
     1.7 -  Cset_Monad
     1.8 -  Dlist_Cset
     1.9    Eval_Witness
    1.10    Extended_Nat
    1.11    Float
    1.12    Formal_Power_Series
    1.13    Fraction_Field
    1.14    FrechetDeriv
    1.15 -  Cset
    1.16    FuncSet
    1.17    Function_Algebras
    1.18    Fundamental_Theorem_Algebra