isabelle: File revisions

src/HOL/Tools/Nitpick/minipick.ML

Wed, 17 Feb 2010 12:14:08 +0100	blanchet	added yet another hint to Nitpick's output, this time warning about problems for which nothing was effectively tested	file \| diff \| annotate
Fri, 05 Feb 2010 14:33:50 +0100	haftmann	more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS	file \| diff \| annotate
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	file \| diff \| annotate
Thu, 17 Dec 2009 15:22:11 +0100	blanchet	added support for binary nat/int representation to Nitpick	file \| diff \| annotate
Mon, 14 Dec 2009 12:30:26 +0100	blanchet	get rid of polymorphic equality in Nitpick's code + a few minor cleanups	file \| diff \| annotate
Fri, 04 Dec 2009 17:19:01 +0100	blanchet	export symbols from Minipick (so I can use them in other programs)	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