src/HOL/Algebra/README.html
Mon, 25 Mar 2013 20:00:27 +0100 ballarin Discontinued theories src/HOL/Algebra/abstract and .../poly.
Mon, 25 Mar 2013 19:53:44 +0100 ballarin Remove obsolete URLs in documentation of HOL-Algebra.
Tue, 12 Mar 2013 22:22:05 +0100 wenzelm removed odd cvs artifacts;
Tue, 15 Jun 2010 16:20:23 +0200 blanchet added missing Umlaut
Sun, 21 Mar 2010 17:12:31 +0100 wenzelm standard headers;
Mon, 07 Mar 2005 19:17:07 +0100 webertj HTML 4.01 Transitional conformity
Sun, 14 Nov 2004 01:40:27 +0100 webertj DOCTYPE declaration added
Wed, 07 May 2003 22:07:33 +0200 ballarin Small changes for release Isabelle 2003.
Fri, 02 May 2003 20:02:50 +0200 ballarin HOL-Algebra complete for release Isabelle2003 (modulo section headers).
Thu, 01 May 2003 11:54:18 +0200 paulson new proofs about direct products, etc.
Fri, 05 Nov 1999 11:14:26 +0100 paulson Algebra and Polynomial theories, by Clemens Ballarin
less more (0) tip