| Tue, 10 Feb 2009 14:58:15 +0100 | blanchet | Added nitpick_const_simp attribute to recdef and record packages. | changeset | files |
| Tue, 10 Feb 2009 14:20:47 +0100 | blanchet | Added nitpick_const_simp attribute to 'simps' produced by the old primrec package. | changeset | files |
| Tue, 10 Feb 2009 14:02:45 +0100 | blanchet | Renamed descriptions of Nitpick (and ATP) attributes, so that they fit well with the rest of the sentence in ProofGeneral. | changeset | files |
| Mon, 09 Feb 2009 12:31:36 +0100 | blanchet | Reintroduced nitpick_ind_intro attribute. | changeset | files |
| Mon, 09 Feb 2009 10:39:57 +0100 | blanchet | merged | changeset | files |
| Mon, 09 Feb 2009 10:37:59 +0100 | blanchet | Added Nitpick_Const_Psimp attribute, dropped the 's' in Nitpick_Const_Simps, and killed the Nitpick_Ind_Intros attribute. | changeset | files |
| Fri, 06 Feb 2009 16:00:05 +0100 | blanchet | merged | changeset | files |