diff options
| author | Enrico Tassi | 2015-02-07 18:40:18 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-02-07 18:54:42 +0100 |
| commit | 861ec0bdbe8be5e327b5082102c646882cd23383 (patch) | |
| tree | e70d59d5936d267397a48df40e76032eb7e4d097 /kernel/cemitcodes.ml | |
| parent | a71aec672bc66a0e19752fa15d55bc2bd75ef3bc (diff) | |
STM: tolerate simple side effects in async proofs (Close: 4006)
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions