src/HOL/Algebra/abstract/PID.thy
Thu, 03 Aug 2006 14:57:26 +0200 ballarin Restructured algebra library, added ideals and quotient rings.
Sat, 17 Sep 2005 20:49:14 +0200 wenzelm converted to Isar theory format;
Fri, 05 Nov 1999 11:14:26 +0100 paulson Algebra and Polynomial theories, by Clemens Ballarin
less more (0) tip