diff options
| author | Matthieu Sozeau | 2016-07-25 15:44:53 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-07-29 19:28:23 +0200 |
| commit | 25ef9dda0311213bb2f6e2b9cd0b87be2128599b (patch) | |
| tree | b4c979e1f8281e5c7bd96dd12d824dd5e147c09c /plugins/extraction/ExtrHaskellBasic.v | |
| parent | a40420601410c5d6f86ff40c5f0b0e723d171833 (diff) | |
Fix #4769, univ poly and elim schemes in sections
Diffstat (limited to 'plugins/extraction/ExtrHaskellBasic.v')
0 files changed, 0 insertions, 0 deletions