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;
Fri, 16 Apr 2004 04:08:29 +0200 wenzelm session graph;
less more (0) -4 tip