Thu, 22 Oct 2009 16:34:49 +0200 | blanchet | merged | changeset | files |
Thu, 22 Oct 2009 16:34:30 +0200 | blanchet | wrap line correctly in Nitpick documentation | changeset | files |
Thu, 22 Oct 2009 14:51:47 +0200 | blanchet | added Nitpick's theory and ML files to Isabelle/HOL; | changeset | files |
Thu, 22 Oct 2009 14:45:20 +0200 | blanchet | Added Nitpick manual. | changeset | files |
Mon, 26 Oct 2009 14:54:43 +0100 | berghofe | merged | changeset | files |
Mon, 26 Oct 2009 14:53:33 +0100 | berghofe | Added Pattern.thy to Nominal/Examples. | changeset | files |