diff options
| author | herbelin | 2003-04-09 11:23:46 +0000 |
|---|---|---|
| committer | herbelin | 2003-04-09 11:23:46 +0000 |
| commit | 9075978130301e2bc71b46b7ef7bd34cf5cc076b (patch) | |
| tree | 60f597222bc4fe5aa4cf8bed167dc5b18d9ae80c /scripts | |
| parent | dbdaa57106427ed61d4eff967e0295979ce9a0bf (diff) | |
Renommage K; equivalence JMeq et eq_dep sur Type
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3879 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions