Sat, 04 Apr 1998 14:27:11 +0200 | wenzelm | tuned fail; | changeset | files |
Sat, 04 Apr 1998 12:31:35 +0200 | wenzelm | type_error; | changeset | files |
Sat, 04 Apr 1998 12:30:17 +0200 | wenzelm | tuned comments; | changeset | files |
Sat, 04 Apr 1998 12:29:07 +0200 | wenzelm | no open Simplifier; | changeset | files |
Sat, 04 Apr 1998 12:28:39 +0200 | wenzelm | replaced thy_data by thy_setup; | changeset | files |
Sat, 04 Apr 1998 12:26:47 +0200 | wenzelm | type_error; | changeset | files |