diff options
| author | sacerdot | 2000-11-28 16:32:09 +0000 |
|---|---|---|
| committer | sacerdot | 2000-11-28 16:32:09 +0000 |
| commit | 0c333a1c85be4b57535ddeed43f85029f1ff199c (patch) | |
| tree | 762740d960e7b697c066c308155ec06101f72790 /kernel | |
| parent | 7da58295173715d6de518516e2653dac90dd2d5c (diff) | |
Code clean-up due to the new usage of longer names in Coq.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1006 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions