| 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 |
| Fri, 14 Feb 1997 15:13:32 +0100 | wenzelm | globally unset ENV, BASH_ENV; | changeset | files |
| Fri, 14 Feb 1997 12:19:42 +0100 | nipkow | Made troublesome simplifier warning dependent on trace_simp. | changeset | files |
| Fri, 14 Feb 1997 11:40:53 +0100 | nipkow | Modified and shortened adm_disj lemmas. | changeset | files |