diff options
| author | letouzey | 2003-01-22 01:22:34 +0000 |
|---|---|---|
| committer | letouzey | 2003-01-22 01:22:34 +0000 |
| commit | 7da1f2925cd7c355d38f5cfac7d5d3195f6191e9 (patch) | |
| tree | 1b16a7d57c23678e45bd4b400726c836e0c597d8 /kernel/type_errors.ml | |
| parent | 7c4ffd70946030c74105323f8b45d6d9edfa7ac0 (diff) | |
Extraction des modules, enfin !
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3569 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions