Mon, 23 Jan 2006 14:06:28 +0100 | haftmann | slight steps forward | changeset | files |
Mon, 23 Jan 2006 14:06:11 +0100 | haftmann | exported after_qed for axclass instance | changeset | files |
Mon, 23 Jan 2006 11:41:54 +0100 | paulson | ResClasimp.get_clasimp_lemmas now takes all subgoals rather than only the first | changeset | files |