| Tue, 07 May 2002 14:24:30 +0200 | wenzelm | clarified eq_thm; | file | diff | annotate |
| Fri, 28 Jan 2000 11:23:41 +0100 | oheimb | added tacticals DETERM_UNTIL and DETERM_UNTIL_SOLVED | file | diff | annotate |
| Mon, 03 May 1999 19:03:35 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 23 Oct 1998 20:34:59 +0200 | oheimb | added SOLVE tactical | file | diff | annotate |