isabelle: File revisions

src/HOL/Nitpick_Examples/Pattern_Nits.thy

Sat, 30 Oct 2021 19:41:09 +0200	wenzelm	prefer "sat_solver = MiniSat", to make examples work uniformly on all platforms;	file \| diff \| annotate
Thu, 26 May 2016 17:51:22 +0200	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate
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

isabelle