| Fri, 05 Feb 2010 11:15:16 +0100 | blanchet | merged | changeset | files |
| Fri, 05 Feb 2010 11:14:34 +0100 | blanchet | optimize Nitpick's encoding for other datatypes than list that have a constant constructor like "Nil"; | changeset | files |
| Thu, 04 Feb 2010 16:50:26 +0100 | blanchet | adapted example following previous Nitpick change and fixed minor optimization in Nitpick | changeset | files |
| Thu, 04 Feb 2010 16:03:15 +0100 | blanchet | split "nitpick_hol.ML" into two files to make it more manageable; | changeset | files |