src/HOL/Tools/Nitpick/nitpick_rep.ML
Tue, 03 Jan 2012 18:33:17 +0100 blanchet fixed a few more bugs in \Nitpick's new "set" support
Tue, 03 Jan 2012 18:33:17 +0100 blanchet port part of Nitpick to "set" type constructor
Mon, 13 Sep 2010 20:21:40 +0200 blanchet remove unreferenced identifiers
Wed, 04 Aug 2010 10:39:35 +0200 blanchet get rid of all "optimizations" regarding "unit" and other cardinality-1 types
Thu, 01 Jul 2010 16:54:44 +0200 haftmann "prod" and "sum" replace "*" and "+" respectively
Sat, 24 Apr 2010 16:33:01 +0200 blanchet remove type annotations as comments;
Tue, 13 Apr 2010 13:26:06 +0200 blanchet make Nitpick output everything to tracing in debug mode;
Tue, 09 Mar 2010 09:25:23 +0100 blanchet added "finitize" option to Nitpick + remove dependency on "Coinductive_List"
Thu, 25 Feb 2010 16:33:39 +0100 blanchet improved precision of infinite "shallow" datatypes in Nitpick;
Mon, 22 Feb 2010 11:57:33 +0100 blanchet fixed a few bugs in Nitpick and removed unreferenced variables
Tue, 02 Feb 2010 11:38:38 +0100 blanchet added support for nonstandard models to Nitpick (based on an idea by Koen Claessen) and did other fixes to Nitpick
Wed, 20 Jan 2010 10:38:06 +0100 blanchet some work on Nitpick's support for quotient types;
Mon, 14 Dec 2009 16:48:49 +0100 blanchet distinguish better between "complete" (vs. incomplete) types and "concrete" (vs. abstract) types in Nitpick;
Fri, 04 Dec 2009 17:19:59 +0100 blanchet fixed paths in Nitpick's ML file headers
Tue, 27 Oct 2009 14:40:24 +0100 blanchet internal renaming in Nitpick and fixed Kodkodi invokation on Linux;
Thu, 22 Oct 2009 14:51:47 +0200 blanchet added Nitpick's theory and ML files to Isabelle/HOL;
less more (0) tip