| 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
|
| Tue, 17 Aug 2010 16:27:58 +0200 |
haftmann |
deleted typecopy package
|
changeset |
files
|
| Tue, 17 Aug 2010 15:29:41 +0200 |
haftmann |
authentic syntax allows simplification of type names
|
changeset |
files
|
| Tue, 17 Aug 2010 15:19:37 +0200 |
haftmann |
dropped make_/dest_ naming convention
|
changeset |
files
|
| Tue, 17 Aug 2010 15:17:44 +0200 |
haftmann |
formally integrated typecopy layer into record package
|
changeset |
files
|
| Tue, 17 Aug 2010 15:13:16 +0200 |
haftmann |
eliminated typecopy interpretation
|
changeset |
files
|
| Wed, 18 Aug 2010 14:55:10 +0200 |
haftmann |
moved spurious auxiliary lemma here
|
changeset |
files
|
| Wed, 18 Aug 2010 14:55:10 +0200 |
haftmann |
tuned proof
|
changeset |
files
|
| Wed, 18 Aug 2010 14:55:09 +0200 |
haftmann |
qualified constants Let and If
|
changeset |
files
|
| Wed, 18 Aug 2010 14:55:09 +0200 |
haftmann |
NEWS
|
changeset |
files
|
| Wed, 18 Aug 2010 12:27:39 +0200 |
haftmann |
merged
|
changeset |
files
|
| Wed, 18 Aug 2010 12:26:48 +0200 |
haftmann |
deglobalization
|
changeset |
files
|
| Wed, 18 Aug 2010 12:26:15 +0200 |
blanchet |
merged
|
changeset |
files
|