| Fri, 10 Aug 2007 17:04:24 +0200 | haftmann | ClassPackage renamed to Class | file | diff | annotate |
| Wed, 06 Jun 2007 23:06:29 +0200 | huffman | use new-style class for sq_ord; rename op << to sq_le | file | diff | annotate |
| Thu, 31 May 2007 14:01:58 +0200 | wenzelm | moved HOLCF tools to canonical place; | file | diff | annotate |