diff options
| author | letouzey | 2006-05-11 21:42:15 +0000 |
|---|---|---|
| committer | letouzey | 2006-05-11 21:42:15 +0000 |
| commit | 7736e153f134f873fba5683d97fa83378fb55f56 (patch) | |
| tree | b92b138ef1b21251d262a7b27c94d9438a371f73 /kernel/inductive.ml | |
| parent | 9d0f4a0fdf6949a34105b53f24c55deec2f860ee (diff) | |
decidabilite de InA
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8807 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions