diff options
| author | herbelin | 2006-10-27 10:37:58 +0000 |
|---|---|---|
| committer | herbelin | 2006-10-27 10:37:58 +0000 |
| commit | 7273f8f1e72fd2d72c6ea54c13895580e66b872d (patch) | |
| tree | e8c941408ab5ce264f20b33c28e259ac422aa115 /kernel | |
| parent | c24ca569e61f77d1b4d16496e4671ea58f963a4c (diff) | |
Check that sort-polymorphic inductive types is not too lax
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9297 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions