isabelle: File revisions

src/HOL/Nitpick_Examples/Pattern_Nits.thy

Sun, 02 Nov 2014 18:21:45 +0100	wenzelm	modernized header uniformly as section;	file \| diff \| annotate
Fri, 06 Dec 2013 09:42:13 +0100	blanchet	reverted 86e0b402994c, which was accidentally qfinish'ed and pushed	file \| diff \| annotate
Thu, 05 Dec 2013 13:38:20 +0100	blanchet	experiment	file \| diff \| annotate
Tue, 03 Jan 2012 18:33:18 +0100	blanchet	lower cardinality for faster testing	file \| diff \| annotate
Wed, 21 Sep 2011 15:55:16 +0200	blanchet	reintroduced Minipick as Nitpick example	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
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

isabelle