| Fri, 28 Sep 2001 19:22:40 +0200 | wenzelm | avoid handle _; | changeset | files |
| Fri, 28 Sep 2001 19:21:26 +0200 | wenzelm | permissive option; | changeset | files |
| Fri, 28 Sep 2001 19:19:26 +0200 | wenzelm | inductive: no collective atts; | changeset | files |
| Fri, 28 Sep 2001 19:18:46 +0200 | wenzelm | updated; | changeset | files |
| Fri, 28 Sep 2001 19:17:01 +0200 | wenzelm | recdef (permissive); | changeset | files |
| Fri, 28 Sep 2001 18:55:37 +0200 | berghofe | Tuned section about parsing and printing proof terms. | changeset | files |