| Fri, 21 May 1999 12:11:13 +0200 | nipkow | qed indexed. | changeset | files |
| Fri, 21 May 1999 11:48:42 +0200 | wenzelm | typedef_proof: pass interactive flag; | changeset | files |
| Fri, 21 May 1999 11:46:42 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 21 May 1999 11:43:34 +0200 | wenzelm | cleaned comments; | changeset | files |