| Mon, 22 Feb 2010 09:17:49 +0100 | haftmann | merged | 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 |
| Sun, 21 Feb 2010 22:35:02 +0100 | wenzelm | slightly more abstract syntax mark/unmark operations; | file | diff | annotate |
| Thu, 11 Feb 2010 22:19:58 +0100 | wenzelm | modernized translations; | file | diff | annotate |
| Thu, 28 Jan 2010 11:48:49 +0100 | haftmann | new theory Algebras.thy for generic algebraic structures | file | diff | annotate |
| Mon, 16 Mar 2009 18:24:30 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
| Sat, 01 Mar 2008 14:10:13 +0100 | wenzelm | use more antiquotations; | file | diff | annotate |
| Tue, 18 Sep 2007 16:08:00 +0200 | wenzelm | simplified type int (eliminated IntInf.int, integer); | file | diff | annotate |
| Fri, 10 Aug 2007 18:21:25 +0200 | wenzelm | tuned ML bindings; | file | diff | annotate |
| Thu, 17 May 2007 19:49:40 +0200 | haftmann | canonical prefixing of class constants | file | diff | annotate |
| Thu, 01 Feb 2007 20:59:50 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 29 Jan 2007 19:58:14 +0100 | wenzelm | proper simproc_setup; | file | diff | annotate |
| Mon, 22 Jan 2007 00:40:29 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 21 Jan 2007 19:09:36 +0100 | wenzelm | tuned ML setup; | file | diff | annotate |
| Sun, 21 Jan 2007 16:43:47 +0100 | wenzelm | tuned comments | file | diff | annotate |
| Sat, 20 Jan 2007 14:27:46 +0100 | wenzelm | Simple and efficient binary numerals. | file | diff | annotate |