diff options
| author | herbelin | 2004-03-24 17:28:56 +0000 |
|---|---|---|
| committer | herbelin | 2004-03-24 17:28:56 +0000 |
| commit | 9c85f9e4ef4c5875ba8f003f4680663573bfac27 (patch) | |
| tree | f116a4c6c14d5d13ece6f25fc648810943cc3874 /kernel/inductive.ml | |
| parent | 7cabde0fe04596f97976e598abfd55e575e570aa (diff) | |
Nettoyage
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5548 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions