| Wed, 04 Oct 1995 13:12:14 +0100 | clasohm | added local simpsets | file | diff | annotate |
| Tue, 25 Jul 1995 17:02:03 +0200 | lcp | Proved perm_length | file | diff | annotate |
| Fri, 30 Jun 1995 11:34:14 +0200 | lcp | new inductive definition: permutations | file | diff | annotate |