| Thu, 28 Aug 2003 01:56:40 +0200 | skalberg | Extended the notion of letter and digit, such that now one may use greek, | file | diff | annotate |
| Sat, 03 Nov 2001 18:41:28 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Thu, 31 May 2001 16:52:47 +0200 | oheimb | added stream length, map, and filter | file | diff | annotate |
| Wed, 28 Jun 2000 10:54:21 +0200 | paulson | tidying and unbatchifying | file | diff | annotate |
| Tue, 04 Nov 1997 14:40:29 +0100 | oheimb | * removed "axioms" and "generated by" section | file | diff | annotate |
| Fri, 31 Jan 1997 16:56:32 +0100 | oheimb | added Classlib.* and Witness.*, | file | diff | annotate |