changeset | b6b75e6e0898 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Corify transaction wrappers |
files |
changeset | 71bafe66dbe1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Laconic -> Ur |
files |