diff options
| author | glondu | 2008-06-09 15:11:59 +0000 |
|---|---|---|
| committer | glondu | 2008-06-09 15:11:59 +0000 |
| commit | a36f148dd86a258cd15f5a24678caa3ad7bb76ca (patch) | |
| tree | 931afd7ca03a035e50e57ae474da3c12f01e588f /kernel/subtyping.ml | |
| parent | 6f593f5ef05f6a1a7bf4cd2ce6d59c41345e034b (diff) | |
Documentation de "instantiate".
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11080 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/subtyping.ml')
0 files changed, 0 insertions, 0 deletions