diff options
| author | Emilio Jesus Gallego Arias | 2020-04-02 02:30:37 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-15 11:12:24 -0400 |
| commit | 2b46da3e7b5c6bcfd7c32b95248df6d1dfa43185 (patch) | |
| tree | dca8cbb4a1325ec798d53f688ad464bc15cb6fcb /proofs | |
| parent | b87b27011a061ead6eca7d8630ad3f59c45877e2 (diff) | |
[declare] Mark APIs as scheduled for removal; remove a couple.
We mark all the stuff scheduled to disappear in `Declare`, and remove
a couple of non-needed APIs.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions