diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-03-28 16:27:35 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-03-28 16:27:35 +0000 |
| commit | bc8d450ec17b6e9f40aae2ad040f296ed2f3419f (patch) | |
| tree | 3a1f82207e8b30a68d74aef88e41853f4aa55d3e /tactics/tactics.ml | |
| parent | 45e7f49dcbea582e06786a95cd636cd7f163d3c6 (diff) | |
Nettoyage de l'interface d'Astterm; renommage des constr_of_com and co en interp_constr etc.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@356 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tactics/tactics.ml')
0 files changed, 0 insertions, 0 deletions