Thu, 11 Mar 2010 15:52:35 +0100 | haftmann | tuned prefix of ac rules | 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 |
Wed, 17 Feb 2010 10:43:20 +0100 | haftmann | added simple theory about discrete summation | file | diff | annotate |