diff options
author | 2004-12-07 19:48:17 +0000 | |
---|---|---|
committer | 2004-12-07 19:48:17 +0000 | |
commit | 7d37a17370cfdfcc13afde93f5943ae53ea4d599 (patch) | |
tree | a091d8593d4fd110b4fe5612d9d300705abe84a9 /parsing/g_module.ml4 | |
parent | 22cb4d34d7f67eb98c737b076a4ecbbf800bdc55 (diff) |
* added subst_evaluable_reference
* the Unfold hints of auto/eauto now use evaluable_global_references in place
of global_references
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6428 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'parsing/g_module.ml4')
0 files changed, 0 insertions, 0 deletions