diff options
| author | letouzey | 2003-01-23 02:06:00 +0000 |
|---|---|---|
| committer | letouzey | 2003-01-23 02:06:00 +0000 |
| commit | bacbe9973ffd115f4f0a53125d018b1eea74d021 (patch) | |
| tree | b071c650ae4a95d6626d56ac75c7699322085537 /kernel/subtyping.ml | |
| parent | 674ba52e736691bfb833e588d2687a49e4d146ab (diff) | |
oubli des add_recursors singleton logiques
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3601 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/subtyping.ml')
0 files changed, 0 insertions, 0 deletions