diff options
| author | herbelin | 2000-10-23 17:44:04 +0000 |
|---|---|---|
| committer | herbelin | 2000-10-23 17:44:04 +0000 |
| commit | 9ac2d652c3492da74c25aa411651fa7818886beb (patch) | |
| tree | 7bd74db9109d078eb5d7792d6a7231ac60f32b7f /kernel | |
| parent | 15a65ef4042aebd403c55d0583b14d1a08e2d2f4 (diff) | |
Modifications pour implicites améliorés
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@746 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions