diff options
| author | filliatr | 1999-09-09 07:53:20 +0000 |
|---|---|---|
| committer | filliatr | 1999-09-09 07:53:20 +0000 |
| commit | 9fc97fa94f3d2912fc6e5bbb3c0022a96b0c1c6c (patch) | |
| tree | 40795c3d5fa127e0c92f4c36a769696166ed13a2 /kernel/type_errors.mli | |
| parent | 5c62c28d7c71a82abf65934084f315af87c86c31 (diff) | |
environement global
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@67 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions