src/HOL/Nitpick_Examples/Mono_Nits.thy
Tue, 01 Sep 2015 22:32:58 +0200 wenzelm eliminated \<Colon>;
Fri, 03 Jul 2015 14:32:55 +0200 wenzelm tuned signature;
Wed, 04 Mar 2015 19:53:18 +0100 wenzelm tuned signature -- prefer qualified names;
Wed, 26 Nov 2014 20:05:34 +0100 wenzelm renamed "pairself" to "apply2", in accordance to @{apply 2};
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Thu, 03 Apr 2014 10:51:20 +0200 blanchet removed clone (cf. 300f613060b0)
Mon, 03 Mar 2014 22:33:22 +0100 blanchet removed nonstandard models from Nitpick
Fri, 20 Dec 2013 09:48:04 +0100 blanchet compile
Mon, 25 Feb 2013 12:17:50 +0100 wenzelm prefer stateless 'ML_val' for tests;
Mon, 27 Feb 2012 16:56:25 +0100 wenzelm more explicit Long_Name operations (NB: analyzing qualifiers is inherently fragile);
Tue, 03 Jan 2012 18:33:17 +0100 blanchet reintroduced failing examples now that they work again, after reintroduction of "set"
Sat, 24 Dec 2011 15:53:11 +0100 haftmann commented out examples which choke on strict set/pred distinction
Thu, 01 Dec 2011 13:34:12 +0100 blanchet minor example tweak
Wed, 21 Sep 2011 15:55:16 +0200 blanchet reintroduced Minipick as Nitpick example
Tue, 19 Apr 2011 14:04:58 +0200 blanchet use "Spec_Rules" for finding axioms -- more reliable and cleaner
less more (0) -15 tip