diff options
author | 2014-12-24 14:36:54 +0100 | |
---|---|---|
committer | 2014-12-26 15:07:03 +0100 | |
commit | 3ff9f9b0b8fee711d408f820c7cdabc465b181ee (patch) | |
tree | b5bcfd7eed355dcc566bc9b87ddebead11971b92 /proofs | |
parent | 5d6106a075b79abbb92b03bbca7b13a517cf4925 (diff) |
STM: remove dead code
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions