Tue, 06 Dec 1994 12:50:13 +0100 | clasohm | added bind_thm | changeset | files |
Wed, 30 Nov 1994 13:53:46 +0100 | clasohm | added qed and qed_goal[w] | changeset | files |
Wed, 30 Nov 1994 13:18:42 +0100 | clasohm | added qed_goal for meta_iffD | changeset | files |