| Sat, 15 Feb 1997 16:10:00 +0100 | oheimb | description of del(eq)congs, safe and unsafe solver | changeset | files |
| Sat, 15 Feb 1997 16:05:07 +0100 | oheimb | added THEN_MAYBE and THEN_MAYBE' | changeset | files |
| Sat, 15 Feb 1997 16:04:33 +0100 | oheimb | added del_congs | changeset | files |
| Fri, 14 Feb 1997 16:01:43 +0100 | narasche | Some lemmas changed to valuesd | changeset | files |
| Fri, 14 Feb 1997 15:32:00 +0100 | wenzelm | fixed comment; | changeset | files |
| Fri, 14 Feb 1997 15:29:20 +0100 | wenzelm | improved interface options; | changeset | files |
| Fri, 14 Feb 1997 15:16:21 +0100 | wenzelm | semi fix of piping-quit peoblem (should work on systems with *real* sh); | changeset | files |