diff options
| author | herbelin | 2004-03-24 16:07:42 +0000 |
|---|---|---|
| committer | herbelin | 2004-03-24 16:07:42 +0000 |
| commit | 7cabde0fe04596f97976e598abfd55e575e570aa (patch) | |
| tree | 1df6270a2320580c966e001bbcb9aeeeeaadd982 /kernel/type_errors.mli | |
| parent | 94aa0b40943fbdb26eddae8821c267ac699f511d (diff) | |
Effacement tardif de ce fichier qui a ete transforme le 5 nov 2002 en une version non ml4
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5547 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions