src/HOL/Nitpick_Examples/Manual_Nits.thy
Fri, 06 Dec 2013 09:42:13 +0100 blanchet reverted 86e0b402994c, which was accidentally qfinish'ed and pushed
Thu, 05 Dec 2013 13:38:20 +0100 blanchet experiment
less more (0) -30 -10 -2 tip