diff options
| author | filliatr | 2006-03-02 15:02:49 +0000 |
|---|---|---|
| committer | filliatr | 2006-03-02 15:02:49 +0000 |
| commit | 9b0be87644b7d636c0df4207678c393d9ff68e85 (patch) | |
| tree | c950716f8b82fe5fd84289c289d3fd7b15fd954e /dev | |
| parent | 8b5128c023b7217058d2f3854fc1d4ab22dd8b4b (diff) | |
tactic haRVey pour appeler haRVey (contrib/dp)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8110 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions