isabelle: File revisions

src/HOL/Nitpick_Examples/Induct_Nits.thy

Tue, 03 Aug 2010 18:14:44 +0200	blanchet	example tweaking -- also prevents Nitpick_Tests from using more than 1 thread	file \| diff \| annotate
Tue, 03 Aug 2010 17:43:15 +0200	blanchet	speed up Nitpick examples a little bit	file \| diff \| annotate
Tue, 09 Mar 2010 14:18:21 +0100	blanchet	improved Nitpick's precision for "card" and "setsum" + fix incorrect outcome code w.r.t. "bisim_depth = -1"	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
Mon, 14 Dec 2009 10:59:46 +0100	blanchet	make Nitpick tests more robust by specifying SAT solver, singlethreading (in Kodkod, not in Isabelle), and higher time limits	file \| diff \| annotate
Fri, 23 Oct 2009 18:59:24 +0200	blanchet	continuation of Nitpick's integration into Isabelle;	file \| diff \| annotate

isabelle