src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Tue Sep 20 14:06:00 2005 +0200
+++ b/src/HOL/Library/Library.thy	Tue Sep 20 14:10:29 2005 +0200
@@ -18,6 +18,7 @@
   Word
   Zorn
   Char_ord
+  Commutative_Ring
 begin
 end
 (*>*)