diff options
author | 2003-06-13 12:51:15 +0000 | |
---|---|---|
committer | 2003-06-13 12:51:15 +0000 | |
commit | 7665559d2c3dc0dc6031936319fd11bbccd606c0 (patch) | |
tree | 6c92157ba94858f65f3f44bbc4d620b601d120ea /tactics/tacinterp.ml | |
parent | 75bfb5b76eafb1b73fac2d792961f28d60a8251a (diff) |
fcts tail-recursives
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4153 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tactics/tacinterp.ml')
0 files changed, 0 insertions, 0 deletions