diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-03-08 11:17:14 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-08 11:17:14 +0100 |
| commit | 76058420ec0ea037504adf0af213d0542bd7c1c3 (patch) | |
| tree | 37282697132f0b7db4f560b5503f7ec2dba11029 /theories | |
| parent | 1f5699d57e9d4950b43d6c5f5259c3cf15564b31 (diff) | |
| parent | 34babfdb5f45a04e89f671a21cc632ad127a26d4 (diff) | |
Merge PR #6899: [compat] Remove "Standard Proposition Elimination"
Diffstat (limited to 'theories')
0 files changed, 0 insertions, 0 deletions