Thu, 29 Jun 1995 16:53:01 +0200 | nipkow | Renamed some vars. | changeset | files |
Thu, 29 Jun 1995 16:50:14 +0200 | lcp | fixed comment | changeset | files |
Thu, 29 Jun 1995 16:39:24 +0200 | lcp | Proof of n_leaves_reflect uses permutative rewriting. | changeset | files |