| Wed, 23 Jul 1997 10:34:18 +0200 | wenzelm | tmp fix to accomodate rep_ss changes; | changeset | files |
| Wed, 23 Jul 1997 10:22:48 +0200 | wenzelm | added rewrite_thm; | changeset | files |
| Wed, 23 Jul 1997 10:22:30 +0200 | wenzelm | tuned apsome; | changeset | files |
| Tue, 22 Jul 1997 19:33:52 +0200 | wenzelm | added error_msg; | changeset | files |
| Tue, 22 Jul 1997 19:33:30 +0200 | wenzelm | tuned error / warning; | changeset | files |
| Tue, 22 Jul 1997 18:46:44 +0200 | wenzelm | added print_ss; | changeset | files |
| Tue, 22 Jul 1997 18:45:43 +0200 | wenzelm | added dest_mss, merge_mss; | changeset | files |