| Tue, 27 Oct 2009 11:27:53 +0100 | Christian Urban | made quotients compatiple with Nominal; updated keyword file | file | diff | annotate |
| Tue, 27 Oct 2009 11:03:38 +0100 | Christian Urban | merged | file | diff | annotate |
| Tue, 27 Oct 2009 09:01:12 +0100 | Cezary Kaliszyk | Completely cleaned Int. | file | diff | annotate |
| Tue, 27 Oct 2009 07:46:52 +0100 | Cezary Kaliszyk | Further reordering in Int code. | file | diff | annotate |
| Mon, 26 Oct 2009 19:35:30 +0100 | Cezary Kaliszyk | Simplifying Int. | file | diff | annotate |
| Mon, 26 Oct 2009 15:32:17 +0100 | Cezary Kaliszyk | Merge | file | diff | annotate |