diff options
| author | desmettr | 2003-02-14 10:04:41 +0000 |
|---|---|---|
| committer | desmettr | 2003-02-14 10:04:41 +0000 |
| commit | c983078ec789ce6f9ac590747b48a7c7f674c5bd (patch) | |
| tree | b517b4d8daea344ffdf7ae0809dd1f96e25fe3b4 /kernel/type_errors.ml | |
| parent | 82ff751239d4ed1320ff9a633a8b94a603fe25e0 (diff) | |
Ajout du theoreme de Cesaro
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3681 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions