| Tue, 16 Oct 2001 19:53:12 +0200 | berghofe | Inserted table for character widths. | changeset | files |
| Tue, 16 Oct 2001 17:58:13 +0200 | wenzelm | tuned induction proofs; | changeset | files |
| Tue, 16 Oct 2001 17:56:12 +0200 | wenzelm | dest_env: norm_term on rhs; | changeset | files |