diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-02-21 00:38:37 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-02-21 00:38:37 +0000 |
commit | 0c52ddea0e26c5aef919aa3bf457b6e07a8871f5 (patch) | |
tree | f4a4327f4dac584fa499c0ccd2e6700c232df4b6 /contrib7/cc/CCSolve.v | |
parent | 364d966b2c6cb030affb111c3e1049a443907092 (diff) |
- changement ordre arguments interp_goal_concl pour permettre application
partielle
- amélioration traduction en nouvelle syntaxe
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6762 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib7/cc/CCSolve.v')
0 files changed, 0 insertions, 0 deletions