diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2014-04-29 17:30:29 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2014-05-06 09:59:01 +0200 |
| commit | af533645b1033dc386d8ac99cc8c4b6491b0ca91 (patch) | |
| tree | c42961235b033723d2bf0d2150f004c740eb6231 /plugins/setoid_ring/Field_theory.v | |
| parent | 84290ba5da2a6acb4bf95b197f7a7ce8b072a1d0 (diff) | |
Fix Field_tac to get fast reification again, with the fix on template universe polymorphic constructors.
Diffstat (limited to 'plugins/setoid_ring/Field_theory.v')
0 files changed, 0 insertions, 0 deletions