diff options
| author | courtieu | 2006-03-12 14:10:20 +0000 |
|---|---|---|
| committer | courtieu | 2006-03-12 14:10:20 +0000 |
| commit | d9cc734c4cd2a75a303cc08c3df0973077099ab1 (patch) | |
| tree | f87b19128dbb947ce70b47019234ac6dbb39ec91 /doc/stdlib/Library.tex | |
| parent | 071daf340720801328f0d79f1ef3f5b8a3a01415 (diff) | |
-Debugging multiple induction, a bug appeared when having function
arguments to a principle (like in map_ind).
-Added nbranches and npredicates to elim_scheme, and made the elimc
field optional.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8622 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/stdlib/Library.tex')
0 files changed, 0 insertions, 0 deletions