src/HOL/Library/Library.thy
changeset 55129 26bd1cba3ab5
parent 55075 b3d0a02a756d
child 55159 608c157d743d
     1.1 --- a/src/HOL/Library/Library.thy	Thu Jan 23 19:02:22 2014 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Fri Jan 24 11:51:45 2014 +0100
     1.3 @@ -38,7 +38,6 @@
     1.4    Kleene_Algebra
     1.5    Mapping
     1.6    Monad_Syntax
     1.7 -  More_BNFs
     1.8    Multiset
     1.9    Numeral_Type
    1.10    OptionalSugar