diff options
| author | herbelin | 2005-09-09 22:07:24 +0000 |
|---|---|---|
| committer | herbelin | 2005-09-09 22:07:24 +0000 |
| commit | b7f6c7c76571bff4f452d2c48d64be4e15878e11 (patch) | |
| tree | 8b2a5f76bf1c5a7f3c5383a8cd8d28e91e9330a9 /dev | |
| parent | 2d3335cbd6a34f8d5d3c7444a68dba7399d817a7 (diff) | |
Declare Implicit Tactic
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7366 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions