src/HOL/Nitpick_Examples/Nitpick_Examples.thy
Wed, 21 Sep 2011 15:55:16 +0200 blanchet reintroduced Minipick as Nitpick example
Mon, 06 Sep 2010 17:51:26 +0200 blanchet remove "minipick" (the toy version of Nitpick) and some tests;
Fri, 05 Feb 2010 14:27:21 +0100 blanchet added hotel key card example for Nitpick, and renumber atoms in Nitpick's output for increased readability
less more (0) -3 tip