diff options
author | coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-05-26 15:12:57 +0000 |
---|---|---|
committer | coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-05-26 15:12:57 +0000 |
commit | c99042d01dceae6005d0c799bc652ccec9a8ef64 (patch) | |
tree | d653dbde03ece557369342741b6025158ba47138 /contrib/ring/.cvsignore | |
parent | d702c37b5b118dadee9a5e8e52647b3226948d68 (diff) |
Correction of a bug in functional scheme. It raised with mutual
functions with imbricated recursive calls. Two bugs in one actually,
one in the building of the set of recursive functions, and one with De
Bruijn indices when looking for recursve calls.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7080 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/ring/.cvsignore')
0 files changed, 0 insertions, 0 deletions