| Fri, 28 Jan 2000 12:12:06 +0100 | wenzelm | replaced FIRSTGOAL by FINDGOAL (backtracking!); | file | diff | annotate |
| Tue, 07 Sep 1999 18:10:33 +0200 | wenzelm | rule option; | file | diff | annotate |
| Fri, 16 Jul 1999 13:25:45 +0200 | berghofe | Replaced datatype_info by datatype_info_err. | file | diff | annotate |
| Tue, 27 Apr 1999 10:47:40 +0200 | wenzelm | support forward chaining; | file | diff | annotate |
| Fri, 16 Apr 1999 17:47:06 +0200 | wenzelm | may specify induction predicates as well; | file | diff | annotate |
| Fri, 16 Apr 1999 14:50:30 +0200 | wenzelm | Proof by induction on types / set / functions. | file | diff | annotate |