Fri, 31 Oct 1997 15:20:20 +0100 | wenzelm | added mixfix_args; | changeset | files |
Fri, 31 Oct 1997 15:19:50 +0100 | wenzelm | *** empty log message *** | changeset | files |
Fri, 31 Oct 1997 15:15:06 +0100 | wenzelm | added str_of_sg: sg -> string; | changeset | files |
Thu, 30 Oct 1997 17:05:20 +0100 | wenzelm | added mixfix_args; | changeset | files |
Thu, 30 Oct 1997 17:04:54 +0100 | wenzelm | tuned thy_data; | changeset | files |
Thu, 30 Oct 1997 17:01:50 +0100 | wenzelm | tuned init_data; | changeset | files |
Thu, 30 Oct 1997 17:00:34 +0100 | wenzelm | added thy_data; | changeset | files |