| Fri, 19 Jul 1996 15:56:01 +0200 | berghofe | Classical tactics now use default claset. | file | diff | annotate |
| Wed, 01 May 1996 13:55:20 +0200 | paulson | Deleted diff_mult_distrib_r as diff_mult_distrib is not proved in Arith. | file | diff | annotate |
| Mon, 05 Feb 1996 21:29:06 +0100 | clasohm | expanded tabs; incorporated Konrad's changes | file | diff | annotate |
| Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Fri, 17 Nov 1995 09:04:10 +0100 | nipkow | New directory. | file | diff | annotate |