isabelle: File revisions

src/HOL/Nitpick_Examples/Mono_Nits.thy

Wed, 17 Feb 2010 20:50:14 +0100	blanchet	fix example to reflect change in function signature	file \| diff \| annotate
Fri, 05 Feb 2010 14:27:21 +0100	blanchet	added hotel key card example for Nitpick, and renumber atoms in Nitpick's output for increased readability	file \| diff \| annotate
Thu, 04 Feb 2010 16:50:26 +0100	blanchet	adapted example following previous Nitpick change and fixed minor optimization in 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
Thu, 17 Dec 2009 15:22:11 +0100	blanchet	added support for binary nat/int representation to Nitpick	file \| diff \| annotate
Sun, 15 Nov 2009 19:44:16 +0100	wenzelm	provide actual Nitpick_HOL.extended_context;	file \| diff \| annotate
Thu, 29 Oct 2009 16:06:28 +0100	blanchet	rename "NitpickMono" to "Nitpick_Mono" in example	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
Fri, 23 Oct 2009 18:59:24 +0200	blanchet	continuation of Nitpick's integration into Isabelle;	file \| diff \| annotate

isabelle