isabelle: File revisions

src/HOL/Nitpick_Examples/Manual_Nits.thy

Wed, 20 Apr 2011 10:14:24 +0200	blanchet	increase "auto"'s timeout in example to help SML/NJ	file \| diff \| annotate
Mon, 04 Apr 2011 09:32:50 +0200	krauss	raised timeouts further, for SML/NJ -- because of variations in machines/compilers, fixed timeouts can merely prevent non-termination, not enforce particular performance characteristics.	file \| diff \| annotate
Wed, 29 Dec 2010 17:34:41 +0100	wenzelm	explicit file specifications -- avoid secondary load path;	file \| diff \| annotate
Sun, 19 Dec 2010 11:48:42 +0100	blanchet	added a timestamp to Nitpick in verbose mode for debugging purposes;	file \| diff \| annotate
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
Mon, 13 Sep 2010 11:13:15 +0200	nipkow	renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI	file \| diff \| annotate

isabelle