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