src/HOL/Library/Library.thy
changeset 56942 5fff4dc31d34
parent 56415 f61a0f7cbde5
child 57025 e7fd64f82876
     1.1 --- a/src/HOL/Library/Library.thy	Mon May 12 17:17:32 2014 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue May 13 09:21:22 2014 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4    AList
     1.5    BigO
     1.6    Bit
     1.7 -  BNF_Decl
     1.8 +  BNF_Axiomatization
     1.9    Boolean_Algebra
    1.10    Char_ord
    1.11    ContNotDenum