wneuper/isa: File revisions

src/HOL/Tools/Nitpick/nitpick_rep.ML

Tue, 09 Mar 2010 09:25:23 +0100	added "finitize" option to Nitpick + remove dependency on "Coinductive_List"	file \| diff \| annotate
Thu, 25 Feb 2010 16:33:39 +0100	improved precision of infinite "shallow" datatypes in Nitpick;	file \| diff \| annotate
Mon, 22 Feb 2010 11:57:33 +0100	fixed a few bugs in Nitpick and removed unreferenced variables	file \| diff \| annotate
Tue, 02 Feb 2010 11:38:38 +0100	added support for nonstandard models to Nitpick (based on an idea by Koen Claessen) and did other fixes to Nitpick	file \| diff \| annotate
Wed, 20 Jan 2010 10:38:06 +0100	some work on Nitpick's support for quotient types;	file \| diff \| annotate
Mon, 14 Dec 2009 16:48:49 +0100	distinguish better between "complete" (vs. incomplete) types and "concrete" (vs. abstract) types in Nitpick;	file \| diff \| annotate
Fri, 04 Dec 2009 17:19:59 +0100	fixed paths in Nitpick's ML file headers	file \| diff \| annotate
Tue, 27 Oct 2009 14:40:24 +0100	internal renaming in Nitpick and fixed Kodkodi invokation on Linux;	file \| diff \| annotate
Thu, 22 Oct 2009 14:51:47 +0200	added Nitpick's theory and ML files to Isabelle/HOL;	file \| diff \| annotate

wneuper/isa