diff options
| author | herbelin | 2000-11-20 08:46:32 +0000 |
|---|---|---|
| committer | herbelin | 2000-11-20 08:46:32 +0000 |
| commit | 97fd28463ab88a6f1503f9c8c198ca51ef8d6a55 (patch) | |
| tree | ea193230d26eddac67ee1494c31ba90f994ca5ec /kernel | |
| parent | 53e4f67c6dff411646c56663a2e86c45b613f7b9 (diff) | |
Remplacement des hacks pour les noms longs par un appel à Declare.global_qualified_reference
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@871 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions