isabelle: File revisions

src/HOL/Tools/Nitpick/kodkod_sat.ML

Fri, 12 Feb 2010 19:44:37 +0100	blanchet	various cosmetic changes to Nitpick	file \| diff \| annotate
Tue, 09 Feb 2010 16:07:51 +0100	blanchet	optimization to quantifiers in Nitpick's handling of simp rules + renamed some SAT solvers	file \| diff \| annotate
Thu, 04 Feb 2010 13:36:52 +0100	blanchet	four changes to Nitpick:	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
Fri, 04 Dec 2009 17:19:59 +0100	blanchet	fixed paths in Nitpick's ML file headers	file \| diff \| annotate
Mon, 16 Nov 2009 10:24:28 +0100	blanchet	change the order in which Nitpick tries SAT solvers;	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
Mon, 26 Oct 2009 18:52:16 +0100	blanchet	made Nitpick aware of the KODKODI_JAVA_LIBRARY_PATH, for detecting and properly invoking JNI-based SAT solvers	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