| Wed, 18 Aug 2010 16:59:37 +0200 |
haftmann |
re-added instantiation of type class random for records
|
changeset |
files
|
| Wed, 18 Aug 2010 16:59:37 +0200 |
haftmann |
tuned signature and code
|
changeset |
files
|
| Wed, 18 Aug 2010 16:59:36 +0200 |
haftmann |
adjusted to restored naming convention of logical record types
|
changeset |
files
|
| Wed, 18 Aug 2010 16:59:36 +0200 |
haftmann |
robustified proof
|
changeset |
files
|
| Wed, 18 Aug 2010 16:59:36 +0200 |
haftmann |
adjusted to changed naming convention of logical record types
|
changeset |
files
|
| Wed, 18 Aug 2010 16:59:35 +0200 |
haftmann |
removed separate quickcheck_record module
|
changeset |
files
|
| Wed, 18 Aug 2010 15:01:57 +0200 |
haftmann |
liberal instantiation of class eq; tuned naming scheme
|
changeset |
files
|
| Wed, 18 Aug 2010 15:01:57 +0200 |
haftmann |
more helpful NEWS entry
|
changeset |
files
|
| Tue, 17 Aug 2010 16:44:24 +0200 |
haftmann |
dropped SML typedef_codegen: does not fit to code equations for record operations any longer
|
changeset |
files
|
| Tue, 17 Aug 2010 16:44:21 +0200 |
haftmann |
preemptive NEWS
|
changeset |
files
|
| Tue, 17 Aug 2010 16:35:23 +0200 |
haftmann |
tuned code
|
changeset |
files
|
| Tue, 17 Aug 2010 16:27:58 +0200 |
haftmann |
use extension constant as formal constructor of logical record type
|
changeset |
files
|