| Sat, 28 Aug 2010 16:14:32 +0200 | haftmann | formerly unnamed infix equality now named HOL.eq | file | diff | annotate |
| Thu, 08 Jul 2010 16:19:24 +0200 | haftmann | tuned titles | file | diff | annotate |
| Fri, 19 Feb 2010 14:47:01 +0100 | haftmann | moved remaning class operations from Algebras.thy to Groups.thy | file | diff | annotate |
| Thu, 28 Jan 2010 11:48:49 +0100 | haftmann | new theory Algebras.thy for generic algebraic structures | file | diff | annotate |
| Wed, 04 Nov 2009 11:40:59 +0100 | nipkow | merged | file | diff | annotate | base |
| Fri, 30 Oct 2009 13:59:49 +0100 | haftmann | moved Commutative_Ring into session Decision_Procs | file | diff | annotate | base |