diff options
| author | letouzey | 2002-03-20 09:10:16 +0000 |
|---|---|---|
| committer | letouzey | 2002-03-20 09:10:16 +0000 |
| commit | 0c1fd0fa599f972847c0e2ba839c6ce8307eb6b2 (patch) | |
| tree | ddb4fe7b754531bbdc86ed3ebf2873e01f86eaf0 /dev | |
| parent | 83a3896d3a9829f65f8cf19dd34890a1ea4913a9 (diff) | |
reparation du controle de l'apparition des termes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2551 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions