diff options
| author |  gmelquio <gmelquio@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-04-28 14:33:40 +0000 |
|---|---|---|
| committer | gmelquio <gmelquio@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-04-28 14:33:40 +0000 |
| commit | 6b0b6d841363d4a1b195b0a9283d596736bf8bbf (patch) | |
| tree | 45ac7fcd7ae7a24ba861371586107df42056344d /config | |
| parent | ef2776e7de84cd324392f52fed2dfa72a44a97b1 (diff) | |
Revert r14078 "Partial backtrack on the support for open terms in destruct/induction:"
While this is needed for supporting destruct with typeclasses on 8.4, it was not my intent to commit it yet (as a better fix might be in the work), so reverting it for now.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14079 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions