diff options
| author | herbelin | 2004-02-27 14:34:06 +0000 |
|---|---|---|
| committer | herbelin | 2004-02-27 14:34:06 +0000 |
| commit | 84140c29194446cc62f0024ea916cb530c329e46 (patch) | |
| tree | aa7ba584530e3e266d826286842a895040c3e24f /dev/db_printers.ml | |
| parent | 553c91992301471f21615ab9635f674b3e4dfb58 (diff) | |
Erreur de Bruijn et oubli substitution alias dans annotation du 'match'
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5391 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/db_printers.ml')
0 files changed, 0 insertions, 0 deletions