src/HOL/Library/Library.thy
changeset 44236 b73b7832b384
parent 44227 78e033e8ba05
child 44561 73f84bf0c6ac
     1.1 --- a/src/HOL/Library/Library.thy	Wed Aug 17 10:03:58 2011 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Wed Aug 17 13:14:20 2011 +0200
     1.3 @@ -37,7 +37,6 @@
     1.4    Monad_Syntax
     1.5    More_List
     1.6    Multiset
     1.7 -  Nested_Environment
     1.8    Numeral_Type
     1.9    Old_Recdef
    1.10    OptionalSugar