diff options
author | 2014-01-04 10:32:22 +0100 | |
---|---|---|
committer | 2014-01-05 17:13:58 +0100 | |
commit | 24ca86389b32e42199db8faadd41918e162b8d46 (patch) | |
tree | 099e8eae42dfc98eb8ac480f385b2ffec120471b /doc/refman/AsyncProofs.tex | |
parent | f8970ec2140662274bb10f0eb8d3ca72924835c7 (diff) |
STM: modules do not prevent proofs from being ASync
Diffstat (limited to 'doc/refman/AsyncProofs.tex')
0 files changed, 0 insertions, 0 deletions