diff options
| author |  desmettr <desmettr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-07-29 16:11:26 +0000 |
|---|---|---|
| committer | desmettr <desmettr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-07-29 16:11:26 +0000 |
| commit | 8905764cd0373156f5eb3427fbb6ac99bf8d3560 (patch) | |
| tree | 08adb34829b8ebc1b10dc3708da58047a4158ba0 /tactics/tactics.ml | |
| parent | 9bdbef17a05d3e438ef90d82b5d0e4f5303d14c9 (diff) | |
MAJ pour Rtrigo_reg
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2934 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tactics/tactics.ml')
0 files changed, 0 insertions, 0 deletions