diff options
| author | herbelin | 2000-06-03 16:37:37 +0000 |
|---|---|---|
| committer | herbelin | 2000-06-03 16:37:37 +0000 |
| commit | b4edfe015c54cb67fe1f5a029165e390539d960c (patch) | |
| tree | 9d8b1d0b481440603e81937eb9622cb124ce1472 /kernel/inductive.ml | |
| parent | 94b27cf1c88ba0473b4b59a81be93b1d7d1f9316 (diff) | |
Retrait des lam_and_pop and co; ajout d'un destructeur 'lispien' de constr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@497 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions