| Fri, 28 Apr 2000 10:44:20 +0200 | paulson | signature change | file | diff | annotate |
| Fri, 21 Apr 2000 11:31:38 +0200 | paulson | cleaner exceptions | file | diff | annotate |
| Tue, 18 Apr 2000 15:51:59 +0200 | paulson | new simprocs for numerals of type "nat" | file | diff | annotate |