src/HOL/Algebra/document/root.tex
Thu, 03 Aug 2006 14:57:26 +0200 ballarin Restructured algebra library, added ideals and quotient rings.
Thu, 06 May 2004 14:14:18 +0200 wenzelm tuned document;
Fri, 23 Apr 2004 21:46:04 +0200 wenzelm improved notation;
less more (0) -3 tip