Fri, 21 Jun 1996 12:18:50 +0200 | berghofe | Classical tactics now use default claset. | file | diff | annotate |
Tue, 07 May 1996 18:19:13 +0200 | paulson | Updated for new form of induction rules | file | diff | annotate |
Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
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 |