diff options
| author | herbelin | 2004-01-23 17:09:18 +0000 |
|---|---|---|
| committer | herbelin | 2004-01-23 17:09:18 +0000 |
| commit | aced6734a7e68bf561c1ad3ca7e1d465a1feaf70 (patch) | |
| tree | cda0dcc4bc19bd133fb19f4d1640337fcddaea0c /make.result | |
| parent | 770c58187dd2374e0ae5f45152ca1859ed27fbd0 (diff) | |
Bug induction lors de types inductives avec parametres
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5241 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'make.result')
0 files changed, 0 insertions, 0 deletions