src/HOL/Nitpick_Examples/Manual_Nits.thy
Mon, 03 Mar 2014 22:33:22 +0100 blanchet removed nonstandard models from Nitpick
Mon, 20 Jan 2014 18:24:56 +0100 blanchet minimized Nitpick's dependencies
Fri, 06 Dec 2013 09:42:13 +0100 blanchet reverted 86e0b402994c, which was accidentally qfinish'ed and pushed
less more (0) -30 -10 -3 tip