diff options
| author | Enrico Tassi | 2020-02-13 17:47:46 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-02-13 17:47:46 +0100 |
| commit | d0ade96ed78895eec3f80b88e3e4cf148b854ecd (patch) | |
| tree | 160dd2fe82a5db4d2de5029bf08a4ca6b5fbabd2 /doc | |
| parent | 6e020b001ec8b9d84293c5e9e7115bb1ddf901ca (diff) | |
| parent | 481db1ce8b0e653c22f332ef7eab5c1fa575b6f4 (diff) | |
Merge PR #11564: Recognize Default Proof Using in STM
Ack-by: gares
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions