| Tue, 03 Jul 2007 17:17:04 +0200 | wenzelm | CONVERSION tactical; | file | diff | annotate |
| Wed, 13 Jun 2007 03:31:11 +0200 | huffman | removed constant int :: nat => int; | file | diff | annotate |
| Sat, 02 Jun 2007 08:54:05 +0200 | webertj | cosmetic | file | diff | annotate |
| Fri, 01 Jun 2007 16:04:13 +0200 | webertj | fixed handling of meta-logic propositions | file | diff | annotate |
| Thu, 24 May 2007 07:27:44 +0200 | nipkow | Introduced new classes monoid_add and group_add | file | diff | annotate |
| Thu, 17 May 2007 19:49:40 +0200 | haftmann | canonical prefixing of class constants | file | diff | annotate |
| Sun, 13 May 2007 18:15:22 +0200 | haftmann | refined module rat | file | diff | annotate |
| Thu, 10 May 2007 22:11:35 +0200 | haftmann | fixed typo | file | diff | annotate |
| Thu, 10 May 2007 00:39:45 +0200 | wenzelm | moved conversions to structure Conv; | file | diff | annotate |
| Wed, 09 May 2007 07:53:08 +0200 | haftmann | tuned | file | diff | annotate |
| Mon, 07 May 2007 00:49:59 +0200 | wenzelm | simplified DataFun interfaces; | file | diff | annotate |
| Sun, 06 May 2007 21:49:23 +0200 | haftmann | tuned | file | diff | annotate |
| Wed, 11 Apr 2007 08:28:15 +0200 | haftmann | canonical merge operations | file | diff | annotate |
| Thu, 29 Mar 2007 14:21:45 +0200 | haftmann | dropped legacy ML bindings | file | diff | annotate |
| Mon, 18 Dec 2006 08:21:35 +0100 | haftmann | switched argument order in *.syntax lifters | file | diff | annotate |