Fri, 23 Oct 1998 20:35:19 +0200 | oheimb | corrected auto_tac (applications of unsafe wrappers) | changeset | files |
Fri, 23 Oct 1998 20:34:59 +0200 | oheimb | added SOLVE tactical | changeset | files |
Fri, 23 Oct 1998 20:28:33 +0200 | wenzelm | tuned; | changeset | files |