| Wed, 19 Mar 2008 07:20:28 +0100 | haftmann | whitespace tuning | file | diff | annotate |
| Mon, 17 Mar 2008 18:37:00 +0100 | wenzelm | removed duplicate lemmas; | file | diff | annotate |
| Wed, 30 Jan 2008 10:57:46 +0100 | haftmann | dual orders and dual lattices | file | diff | annotate |
| Thu, 13 Dec 2007 07:09:02 +0100 | haftmann | clarified heading | file | diff | annotate |
| Fri, 30 Nov 2007 20:13:03 +0100 | haftmann | adjustions to due to instance target | file | diff | annotate |
| Thu, 29 Nov 2007 17:08:26 +0100 | haftmann | instance command as rudimentary class target | file | diff | annotate |
| Sat, 10 Nov 2007 18:36:06 +0100 | wenzelm | Orderings.min/max: no need to qualify consts; | file | diff | annotate |
| Fri, 26 Oct 2007 21:22:18 +0200 | haftmann | dropped square syntax | file | diff | annotate |
| Thu, 25 Oct 2007 19:27:50 +0200 | haftmann | various localizations | file | diff | annotate |
| Fri, 19 Oct 2007 19:45:31 +0200 | haftmann | tuned | file | diff | annotate |
| Thu, 18 Oct 2007 09:20:55 +0200 | haftmann | localized mono predicate | file | diff | annotate |
| Tue, 16 Oct 2007 23:12:45 +0200 | haftmann | global class syntax | file | diff | annotate |
| Tue, 09 Oct 2007 00:20:13 +0200 | wenzelm | generic Syntax.pretty/string_of operations; | file | diff | annotate |
| Sat, 06 Oct 2007 16:50:04 +0200 | wenzelm | simplified interfaces for outer syntax; | file | diff | annotate |
| Sat, 29 Sep 2007 08:58:51 +0200 | haftmann | proper syntax during class specification | file | diff | annotate |