Mon, 24 Jan 2005 18:07:10 +0100 | berghofe | Replaced xstring by thmref. | changeset | files |
Mon, 24 Jan 2005 17:59:48 +0100 | berghofe | Adapted to modified interface of PureThy.get_thm(s). | changeset | files |
Mon, 24 Jan 2005 17:56:18 +0100 | berghofe | Specific theorems in a named list of theorems can now be referred to | changeset | files |
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 |