| Tue, 01 Jul 2008 06:21:28 +0200 | huffman | rename INF to INFM | file | diff | annotate |
| Wed, 02 Apr 2008 15:58:32 +0200 | haftmann | explicit class "eq" for operational equality | file | diff | annotate |
| Wed, 02 Jan 2008 15:14:20 +0100 | haftmann | some more primrec | file | diff | annotate |
| Tue, 06 Nov 2007 17:44:53 +0100 | krauss | moved stuff about size change termination to its own session | file | diff | annotate |