diff options
author | sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-12-07 17:41:10 +0000 |
---|---|---|
committer | sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-12-07 17:41:10 +0000 |
commit | 22cb4d34d7f67eb98c737b076a4ecbbf800bdc55 (patch) | |
tree | 9a238c0c4919245db39f805056754b1798e94357 /parsing/g_natsyntax.ml | |
parent | e2363aafc80d9a8efaf9c13bbf9e4e5bb0f4eb10 (diff) |
The type Pattern.constr_label was isomorphic to Libnames.global_reference.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6427 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'parsing/g_natsyntax.ml')
0 files changed, 0 insertions, 0 deletions