diff options
| author | herbelin | 2003-05-29 20:31:57 +0000 |
|---|---|---|
| committer | herbelin | 2003-05-29 20:31:57 +0000 |
| commit | d3defc5b6f4e804bd6d052d350a54176c169d914 (patch) | |
| tree | ff94ce4f1feae050b6dd6b160a709dd87d659a8f /kernel/inductive.ml | |
| parent | 5743ea67b5a615c419d349e891806828c0ddc549 (diff) | |
Ne pas mettre d'associatif a droite au niveau 3 en V7
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4088 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions