| Mon, 17 Dec 2007 23:33:00 +0100 |
wenzelm |
cond_timeit: added message argument, use Exn.capture/release;
|
changeset |
files
|
| Mon, 17 Dec 2007 23:26:27 +0100 |
wenzelm |
cond_timeit: added message argument;
|
changeset |
files
|
| Mon, 17 Dec 2007 22:40:14 +0100 |
haftmann |
note in target
|
changeset |
files
|
| Mon, 17 Dec 2007 22:40:13 +0100 |
haftmann |
maior tuning
|
changeset |
files
|
| Mon, 17 Dec 2007 22:40:12 +0100 |
haftmann |
tuned
|
changeset |
files
|
| Mon, 17 Dec 2007 18:39:18 +0100 |
berghofe |
Added foldl1.
|
changeset |
files
|
| Mon, 17 Dec 2007 18:38:28 +0100 |
berghofe |
Adapted to changes in size function.
|
changeset |
files
|
| Mon, 17 Dec 2007 18:37:49 +0100 |
berghofe |
size functions for nested datatypes are now expressed using
|
changeset |
files
|
| Mon, 17 Dec 2007 18:32:56 +0100 |
berghofe |
Adapted to changes in interface of indtac.
|
changeset |
files
|
| Mon, 17 Dec 2007 18:31:52 +0100 |
berghofe |
- Removed redundant head_len field in datatype_info
|
changeset |
files
|
| Mon, 17 Dec 2007 18:30:44 +0100 |
berghofe |
- Removed redundant head_len field in datatype_info
|
changeset |
files
|
| Mon, 17 Dec 2007 18:27:48 +0100 |
paulson |
tidied some messy proofs
|
changeset |
files
|