| 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 |