diff options
| author | herbelin | 2004-03-27 12:19:23 +0000 |
|---|---|---|
| committer | herbelin | 2004-03-27 12:19:23 +0000 |
| commit | ed149bd9f177041c78b4d9da28dc53dfe1a7fa59 (patch) | |
| tree | 76a30c9bdb6dd4087f46bff5a375c938a386381e /contrib/xml/xmlcommand.ml | |
| parent | 264658d653e4c12b1739504f898f136396fb8ea4 (diff) | |
Gestion maintenant purement fonctionnelle des implicites des point-fixes; ajout de la prise en compte dynamique des arguments scope pour les inductifs
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5586 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/xml/xmlcommand.ml')
0 files changed, 0 insertions, 0 deletions