diff options
| author | herbelin | 2000-03-28 16:30:04 +0000 |
|---|---|---|
| committer | herbelin | 2000-03-28 16:30:04 +0000 |
| commit | ed11f59ab67b0b6eb103d07386bf45ab2a8bede6 (patch) | |
| tree | 78d2631a84485271c91909915dfa8f96f67d5ca0 /dev/base_include | |
| parent | bc8d450ec17b6e9f40aae2ad040f296ed2f3419f (diff) | |
Nettoyage de l'interface d'Astterm; renommage des {pf_,}constr_of_com* en {pf_,}interp_constr*
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@357 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions