| Wed, 28 Oct 2009 16:05:59 +0100 | Cezary Kaliszyk | Fixes | file | diff | annotate |
| Tue, 27 Oct 2009 11:27:53 +0100 | Christian Urban | made quotients compatiple with Nominal; updated keyword file | file | diff | annotate |
| Mon, 26 Oct 2009 02:06:01 +0100 | Christian Urban | updated with quotient_def | file | diff | annotate |