| Fri, 05 Dec 1997 17:13:46 +0100 | wenzelm | simplification procedures nat_cancel enabled by default; | changeset | files |
| Fri, 05 Dec 1997 08:01:03 +0100 | wenzelm | tmp_name; | changeset | files |
| Thu, 04 Dec 1997 14:11:37 +0100 | wenzelm | added print_simpset; | changeset | files |