diff options
| author | coq | 2000-07-19 12:17:12 +0000 |
|---|---|---|
| committer | coq | 2000-07-19 12:17:12 +0000 |
| commit | 19b494e50ce36127782c4147c64e330a06387279 (patch) | |
| tree | b49529b1e3756111265adfebca110e374fda4660 /kernel/type_errors.ml | |
| parent | a03c49aaa432c87569315569cc041b2756796e43 (diff) | |
Quelques (*i*) pour ne pas casser oczmlweb
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@557 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions