diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-06-13 12:51:15 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-06-13 12:51:15 +0000 |
| commit | 7665559d2c3dc0dc6031936319fd11bbccd606c0 (patch) | |
| tree | 6c92157ba94858f65f3f44bbc4d620b601d120ea /tactics/tactics.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/tactics.ml')
0 files changed, 0 insertions, 0 deletions