isabelle: File revisions

src/HOL/Nitpick_Examples/Integer_Nits.thy

Wed, 03 Nov 2010 22:26:53 +0100	blanchet	standardize on seconds for Nitpick and Sledgehammer timeouts	file \| diff \| annotate
Tue, 14 Sep 2010 14:22:49 +0200	blanchet	adapt examples to latest Nitpick changes + speed them up a little bit	file \| diff \| annotate
Tue, 03 Aug 2010 17:43:15 +0200	blanchet	speed up Nitpick examples a little bit	file \| diff \| annotate
Mon, 21 Jun 2010 11:16:00 +0200	blanchet	adjusted Nitpick examples to latest changes + make them slightly faster	file \| diff \| annotate
Wed, 10 Mar 2010 14:21:01 +0100	blanchet	fixed soundness bug in 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
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
Fri, 18 Dec 2009 12:00:29 +0100	blanchet	polished Nitpick's binary integer support etc.;	file \| diff \| annotate

isabelle