src/HOL/Library/Library.thy
changeset 55075 b3d0a02a756d
parent 55018 2a526bd279ed
child 55129 26bd1cba3ab5
     1.1 --- a/src/HOL/Library/Library.thy	Mon Jan 20 18:24:56 2014 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Jan 20 18:24:56 2014 +0100
     1.3 @@ -5,13 +5,14 @@
     1.4    BigO
     1.5    Binomial
     1.6    Bit
     1.7 +  BNF_Decl
     1.8    Boolean_Algebra
     1.9    Char_ord
    1.10    Continuity
    1.11    ContNotDenum
    1.12    Convex
    1.13    Countable
    1.14 -  Countable_Set
    1.15 +  Countable_Set_Type
    1.16    Debug
    1.17    Diagonal_Subsequence
    1.18    Dlist
    1.19 @@ -37,6 +38,7 @@
    1.20    Kleene_Algebra
    1.21    Mapping
    1.22    Monad_Syntax
    1.23 +  More_BNFs
    1.24    Multiset
    1.25    Numeral_Type
    1.26    OptionalSugar