src/HOL/Nitpick_Examples/Pattern_Nits.thy
Thu, 05 Dec 2013 13:38:20 +0100 blanchet experiment
Tue, 03 Jan 2012 18:33:18 +0100 blanchet lower cardinality for faster testing
Wed, 21 Sep 2011 15:55:16 +0200 blanchet reintroduced Minipick as Nitpick example
less more (0) -3 tip