| Mon, 19 Jul 1999 15:31:42 +0200 | paulson | deleted a reference to "nat", now erroneous because "nat" is a function | file | diff | annotate |
| Mon, 21 Sep 1998 23:13:28 +0200 | oheimb | improved indentation | file | diff | annotate |
| Fri, 24 Jul 1998 13:19:38 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |