src/HOL/Algebra/Congruence.thy
Wed, 24 Aug 2011 23:19:40 +0200 wenzelm tuned syntax -- avoid ambiguities;
Sun, 13 Mar 2011 22:55:50 +0100 wenzelm tuned headers;
Sun, 31 Oct 2010 11:38:09 +0100 ballarin Minor reformat.
Sun, 21 Mar 2010 17:12:31 +0100 wenzelm standard headers;
Sun, 21 Mar 2010 16:51:37 +0100 wenzelm slightly more uniform definitions -- eliminated old-style meta-equality;
Sun, 21 Mar 2010 15:57:40 +0100 wenzelm eliminated old constdefs;
Wed, 24 Feb 2010 22:09:50 +0100 wenzelm modernized syntax declarations, and make them actually work with authentic syntax;
Tue, 16 Dec 2008 21:10:53 +0100 ballarin More porting to new locales.
Fri, 01 Aug 2008 18:10:52 +0200 ballarin Generalised polynomial lemmas from cring to ring.
Tue, 29 Jul 2008 16:19:49 +0200 ballarin New theory on divisibility.
less more (0) tip