Fri, 25 Nov 1994 09:13:49 +0100 | clasohm | added qed_goal[w] | changeset | files |
Fri, 25 Nov 1994 00:02:37 +0100 | lcp | added blank line | changeset | files |
Fri, 25 Nov 1994 00:01:04 +0100 | lcp | tidied proofs, using fast_tac etc. as much as possible | changeset | files |