diff options
| author |  msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-07-20 13:58:03 +0000 |
|---|---|---|
| committer | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-07-20 13:58:03 +0000 |
| commit | d516c922b388411c46f9046ffe6df99b4061f33b (patch) | |
| tree | 83ec65f70f0f0df2c528179fa722a0cc53f39e8a /man | |
| parent | 45b27e6f0a304cfd8fee31e901151c6ed7bac1bf (diff) | |
Use unfold directly in unfold_equations. Fixes test-suite.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12246 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions