| Fri, 03 Jul 1998 11:02:01 +0200 | berghofe | Removed disjE from list of rules used to simplify elimination | file | diff | annotate |
| Wed, 01 Jul 1998 19:03:54 +0200 | berghofe | Fixed bug (improper handling of flag no_ind). | file | diff | annotate |
| Tue, 30 Jun 1998 20:39:43 +0200 | berghofe | New inductive definition package | file | diff | annotate |