wneuper/isa: File revisions

src/HOL/Library/SML_Quickcheck.thy

Wed, 30 Mar 2011 10:31:02 +0200	adding a regression test for SML_Quickcheck; putting SML_Quickcheck back in shape	file \| diff \| annotate
Wed, 30 Mar 2011 09:44:16 +0200	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	adapting SML_Quickcheck	file \| diff \| annotate
Fri, 03 Dec 2010 08:40:47 +0100	adapting SML_Quickcheck to recent changes	file \| diff \| annotate
Thu, 09 Sep 2010 16:43:57 +0200	changing the container for the quickcheck options to a generic data	file \| diff \| annotate
Thu, 10 Jun 2010 12:24:02 +0200	moved inductive_codegen to place where product type is available; tuned structure name	file \| diff \| annotate
Thu, 19 Nov 2009 16:07:53 +0100	Added new counterexample generator SML_inductive for goals involving	file \| diff \| annotate
Fri, 23 Oct 2009 17:12:36 +0200	turned off old quickcheck	file \| diff \| annotate

wneuper/isa