diff options
| author |  Raphaël Monat <raphael.monat@ens-lyon.org> | 2017-10-12 13:45:19 +0200 |
|---|---|---|
| committer | Raphaël Monat <raphael.monat@ens-lyon.org> | 2017-10-12 13:45:19 +0200 |
| commit | e5b43dcd5f449ccbc84c32868f9a9f6c3b73b263 (patch) | |
| tree | 5582c6e8aac9fd19806258d1eb2001f0e0cce20e /theories/Sorting | |
| parent | 0a65d234346a73c98a9f65d2248edbbbe5e9fccb (diff) | |
Added proofs of Qeq_bool_refl, Qeq_bool_sym, Qeq_bool_trans.
Diffstat (limited to 'theories/Sorting')
0 files changed, 0 insertions, 0 deletions