diff options
| author | barras | 2002-02-19 09:35:01 +0000 |
|---|---|---|
| committer | barras | 2002-02-19 09:35:01 +0000 |
| commit | d66a2e9671f9a4d0c0de92b5f2520e69e2747fd4 (patch) | |
| tree | b0154520af51e6b89d1f4a0ad13775dc82761120 /dev | |
| parent | fd561b8d22aa7b04904d6fcd85036fdd6b255ca3 (diff) | |
Uniformisation des theoremes dans Set et Type (def. de Acc_rect et
well_founded_induction_type)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2485 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions