diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-12-04 13:13:08 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-05-28 09:38:36 -0400 |
| commit | 7043cedcd0b5d02f3dff51f403b9c0fa1a28892c (patch) | |
| tree | cbe7a6dab565218a81f1163744cb88e03d49e172 /plugins/extraction/ExtrHaskellString.v | |
| parent | 7816815c01c6338dbd3447bad6ff2fcca415e139 (diff) | |
Add more groupoid-like theorems about [eq]
Diffstat (limited to 'plugins/extraction/ExtrHaskellString.v')
0 files changed, 0 insertions, 0 deletions