diff options
| author | letouzey | 2001-04-24 13:36:51 +0000 |
|---|---|---|
| committer | letouzey | 2001-04-24 13:36:51 +0000 |
| commit | 90412c465eb041086a0a923a12b1c06c46501889 (patch) | |
| tree | e02a62a47f40134a84c7561d06525d6d419f2ccf /kernel/type_errors.mli | |
| parent | 8f48b314f3c0e3164630475ca692d5f5162a9029 (diff) | |
Fin d'optimisation (cas modules) + warning pour coind & ocaml
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1685 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions