isabelle: File revisions

src/HOL/Tools/Nitpick/nitpick_nut.ML

Fri, 04 Dec 2009 17:19:59 +0100	blanchet	fixed paths in Nitpick's ML file headers	file \| diff \| annotate
Mon, 23 Nov 2009 18:29:00 +0100	blanchet	fix Nitpick soundness bug related to "finite (UNIV::'a set)" where "'a" is constrained by a sort to be infinite	file \| diff \| annotate
Mon, 23 Nov 2009 13:24:32 +0100	blanchet	fixed soundness bug in Nitpick that occurred because unrolled predicate iterators were considered to be a "precise" type	file \| diff \| annotate
Tue, 17 Nov 2009 19:47:27 +0100	blanchet	fixed bug in Nitpick's handling of "The" and "Eps" when the return type is a "bool"	file \| diff \| annotate
Thu, 12 Nov 2009 14:47:54 +0100	blanchet	fixed soundness bug in Nitpick related to sets	file \| diff \| annotate
Thu, 29 Oct 2009 15:24:52 +0100	blanchet	minor cleanup in Nitpick	file \| diff \| annotate
Tue, 27 Oct 2009 19:00:17 +0100	blanchet	optimized Nitpick's encoding and rendering of datatypes whose constructors don't appear in the problem	file \| diff \| annotate
Tue, 27 Oct 2009 14:40:24 +0100	blanchet	internal renaming in Nitpick and fixed Kodkodi invokation on Linux;	file \| diff \| annotate
Thu, 22 Oct 2009 14:51:47 +0200	blanchet	added Nitpick's theory and ML files to Isabelle/HOL;	file \| diff \| annotate

isabelle