diff options
| author | herbelin | 2003-05-20 08:55:34 +0000 |
|---|---|---|
| committer | herbelin | 2003-05-20 08:55:34 +0000 |
| commit | 7eb3b862ab4220b1781fbea69ad4658ac93e7bb1 (patch) | |
| tree | 29b1168ddfd5027cd61325fe87c5092939c5a8e7 /kernel/inductive.ml | |
| parent | aed2dabdf7e5f72330ff3a6979fece97d4d044ce (diff) | |
Extension renommage
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4037 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions