diff options
| author | Hugo Herbelin | 2020-09-02 19:09:30 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-09-02 19:09:30 +0200 |
| commit | e9b64e2f09d2a8dcc2558a9ea34268b4d78fdc66 (patch) | |
| tree | 4cd7a850b08d54e04c80aeaf8025cde91caf8aaa /proofs | |
| parent | cc51e1fd680c1f1bf47cc8b504196c9f2677fa3b (diff) | |
| parent | c36fd380fb6b04ef23cb61bd4f792bdd2c472725 (diff) | |
Merge PR #12943: Move Elim-specific code
Ack-by: SkySkimmer
Reviewed-by: herbelin
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions