diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-09-01 11:02:52 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-09-01 11:02:52 +0000 |
commit | 81ed88d7722052181aa4106ebbeda8952068ffbc (patch) | |
tree | 68d4f59df6124914fe781dca36cd9a173d0aee49 /library/libobject.ml | |
parent | 415951f50dd6347fb712e9653af6cb2c6448e3d9 (diff) |
Ajout iter_rel_context/iter_named_context
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9103 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'library/libobject.ml')
0 files changed, 0 insertions, 0 deletions