diff options
| author | Guillaume Melquiond | 2015-05-12 17:55:10 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-05-12 18:12:24 +0200 |
| commit | 1f3ea50258490ac8b5a395ac0ff2bca7326e755f (patch) | |
| tree | 2fda4c14c0aee11501be7261d177c269f7029391 /plugins/extraction/ExtrHaskellString.v | |
| parent | f480f07c232b4bcc4ea67bf0577e267d0fdc35f4 (diff) | |
Mark PreOrder as a consequence of Equivalence. (Fix bug #4213)
Diffstat (limited to 'plugins/extraction/ExtrHaskellString.v')
0 files changed, 0 insertions, 0 deletions