src/HOL/Library/Library.thy

--- 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