Thu, 30 Mar 1995 14:01:35 +0200 | lcp | Added comment about why mem_irrefl should not be a safeE. | changeset | files |
Thu, 30 Mar 1995 13:54:41 +0200 | lcp | Tried the new addss in many proofs, and tidied others | changeset | files |
Thu, 30 Mar 1995 13:48:30 +0200 | lcp | Precedence of infixes is now 4 (just above that of :=) | changeset | files |