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 |