isabelle: File revisions

src/HOL/Library/SML_Quickcheck.thy

Wed, 20 Apr 2011 15:55:34 +0200	wenzelm	eliminated global references / critical sections via context data;	file \| diff \| annotate
Wed, 30 Mar 2011 10:31:02 +0200	bulwahn	adding a regression test for SML_Quickcheck; putting SML_Quickcheck back in shape	file \| diff \| annotate
Wed, 30 Mar 2011 09:44:16 +0200	bulwahn	generalizing compilation scheme of quickcheck generators to multiple arguments; changing random and exhaustive tester to use one code invocation for polymorphic instances with multiple cardinalities	file \| diff \| annotate
Fri, 18 Mar 2011 18:19:42 +0100	bulwahn	adapting SML_Quickcheck	file \| diff \| annotate
Fri, 03 Dec 2010 08:40:47 +0100	bulwahn	adapting SML_Quickcheck to recent changes	file \| diff \| annotate
Thu, 09 Sep 2010 16:43:57 +0200	bulwahn	changing the container for the quickcheck options to a generic data	file \| diff \| annotate
Thu, 10 Jun 2010 12:24:02 +0200	haftmann	moved inductive_codegen to place where product type is available; tuned structure name	file \| diff \| annotate
Thu, 19 Nov 2009 16:07:53 +0100	berghofe	Added new counterexample generator SML_inductive for goals involving	file \| diff \| annotate
Fri, 23 Oct 2009 17:12:36 +0200	haftmann	turned off old quickcheck	file \| diff \| annotate

isabelle