changeset 24332 | e3a2b75b1cf9 |
parent 24281 | 7d0334b69711 |
child 24530 | 1bac25879117 |
--- a/src/HOL/Library/Library.thy Sun Aug 19 21:21:37 2007 +0200 +++ b/src/HOL/Library/Library.thy Mon Aug 20 00:22:18 2007 +0200 @@ -6,6 +6,7 @@ AssocList BigO Binomial + Boolean_Algebra Char_ord Coinductive_List Commutative_Ring @@ -24,6 +25,7 @@ NatPair Nat_Infinity Nested_Environment + Numeral_Type OptionalSugar Parity Permutation