| 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 |