src/HOL/Library/Library.thy
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