Mon, 24 Jan 2005 16:25:36 +0100 | paulson | updated description of arith_tac | changeset | files |
Mon, 24 Jan 2005 12:41:06 +0100 | paulson | thin_tac now works on P==>Q | changeset | files |
Mon, 24 Jan 2005 12:40:52 +0100 | paulson | some rationalizing of res_inst_tac | changeset | files |