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 |