Fri, 09 Dec 1994 13:05:03 +0100 | clasohm | added warning for already stored theorem to store_thm | changeset | files |
Thu, 08 Dec 1994 16:42:58 +0100 | lcp | sum_ss: moved down and added the rewrite rules for "case" | changeset | files |
Thu, 08 Dec 1994 16:07:12 +0100 | lcp | leI: added comment | changeset | files |