diff options
| author | msozeau | 2008-09-07 00:10:42 +0000 |
|---|---|---|
| committer | msozeau | 2008-09-07 00:10:42 +0000 |
| commit | a5e035d42a7043bcafe392c8e964ce85558cd319 (patch) | |
| tree | a95c9cb9907616efe8851a934f59c7b413d011c7 /doc/RecTutorial | |
| parent | 0e189432da864d7e31c9d6bb2355f349308a3d0a (diff) | |
More debugging of [Equations], now able to discharge even the heavily
dependent [noConfusion] definitions in "A Few Constructions on
Constructors". Now the guardness check is blocking.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11374 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/RecTutorial')
0 files changed, 0 insertions, 0 deletions