diff options
| author | herbelin | 2000-10-23 17:33:04 +0000 |
|---|---|---|
| committer | herbelin | 2000-10-23 17:33:04 +0000 |
| commit | c1a05dd1556d2cd43a16efbd9a9250fea3314924 (patch) | |
| tree | 7ac6d7c3e4dbc4de16d491e7de82456f8807e2dc /kernel | |
| parent | a128c458a62cd86a6ff3bea5b5a4e20e8e792f26 (diff) | |
Import de Infix au Require
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@743 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions