diff options
| author | corbinea | 2003-06-22 10:58:36 +0000 |
|---|---|---|
| committer | corbinea | 2003-06-22 10:58:36 +0000 |
| commit | fc7d61f85f1e0700d75513b9b0015992e33370ec (patch) | |
| tree | 89cfa3b9f1778781a08f68d290619ffa60ea7b72 /kernel/type_errors.ml | |
| parent | 902141f7baa8ff4a480a2bfe41e2c103ef679633 (diff) | |
Ground update
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4196 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions