diff options
| author | jforest | 2006-05-07 00:12:29 +0000 |
|---|---|---|
| committer | jforest | 2006-05-07 00:12:29 +0000 |
| commit | 9b963bd7cacb8eb9c2b923be83f0db67f69d6401 (patch) | |
| tree | b38b4dbc23fb49c500004900f376bce89401f898 /kernel | |
| parent | 6933573c976f68c6275ffd1d9a0598ff2e8aa37f (diff) | |
+ correcting a bug in general recursive function (match e with _ => match f e with .... end end was not correctly treated)
+ cleaning dead code in functional_principles_proofs.ml
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8797 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions