src/HOL/Nitpick_Examples/Manual_Nits.thy
Mon, 21 Jun 2010 11:16:00 +0200 blanchet adjusted Nitpick examples to latest changes + make them slightly faster
Wed, 21 Apr 2010 14:46:29 +0200 blanchet use only one thread in "Manual_Nits";
Fri, 12 Mar 2010 12:02:22 +0100 blanchet make tests less demanding, to prevent sporadic failures
less more (0) -10 -3 tip