diff options
| author | coq | 2005-04-21 14:34:19 +0000 |
|---|---|---|
| committer | coq | 2005-04-21 14:34:19 +0000 |
| commit | f454cc6dff2eadd720c126b8b43dff032efdb129 (patch) | |
| tree | 6328b968a387d43a89a956a492fc6c1c2e924752 /kernel/closure.ml | |
| parent | a72689957c58ebe5d428c40b2b9387cc9cdf95a3 (diff) | |
Gestion du forall et envoie d'axiome à la procédure
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6950 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/closure.ml')
0 files changed, 0 insertions, 0 deletions