src/HOL/Library/Library.thy
changeset 17516 45164074dad4
parent 16966 37e34f315057
child 17633 7daaa7fe9c96
     1.1 --- a/src/HOL/Library/Library.thy	Tue Sep 20 14:06:00 2005 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue Sep 20 14:10:29 2005 +0200
     1.3 @@ -18,6 +18,7 @@
     1.4    Word
     1.5    Zorn
     1.6    Char_ord
     1.7 +  Commutative_Ring
     1.8  begin
     1.9  end
    1.10  (*>*)