src/HOL/Library/Library.thy
changeset 24332 e3a2b75b1cf9
parent 24281 7d0334b69711
child 24530 1bac25879117
     1.1 --- a/src/HOL/Library/Library.thy	Sun Aug 19 21:21:37 2007 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Aug 20 00:22:18 2007 +0200
     1.3 @@ -6,6 +6,7 @@
     1.4    AssocList
     1.5    BigO
     1.6    Binomial
     1.7 +  Boolean_Algebra
     1.8    Char_ord
     1.9    Coinductive_List
    1.10    Commutative_Ring
    1.11 @@ -24,6 +25,7 @@
    1.12    NatPair
    1.13    Nat_Infinity
    1.14    Nested_Environment
    1.15 +  Numeral_Type
    1.16    OptionalSugar
    1.17    Parity
    1.18    Permutation