src/HOL/Nitpick_Examples/Manual_Nits.thy
Mon, 09 Aug 2010 13:46:25 +0200 blanchet "declare" -> "declaration" (typo)
Mon, 09 Aug 2010 12:40:15 +0200 blanchet use "declaration" instead of "setup" to register Nitpick extensions
Fri, 06 Aug 2010 17:23:11 +0200 blanchet adapt occurrences of renamed Nitpick functions
Tue, 03 Aug 2010 17:29:54 +0200 blanchet minor changes
less more (0) -10 -4 tip