src/HOL/Library/Library.thy
changeset 45990 b7b905b23b2a
parent 45748 cf79cc09cab4
child 47232 e2f0176149d0
     1.1 --- a/src/HOL/Library/Library.thy	Mon Dec 26 22:17:10 2011 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Dec 26 22:17:10 2011 +0100
     1.3 @@ -33,7 +33,6 @@
     1.4    Kleene_Algebra
     1.5    Mapping
     1.6    Monad_Syntax
     1.7 -  More_List
     1.8    Multiset
     1.9    Numeral_Type
    1.10    Old_Recdef