diff options
| author | herbelin | 2005-05-17 13:23:34 +0000 |
|---|---|---|
| committer | herbelin | 2005-05-17 13:23:34 +0000 |
| commit | 0d25cb99daa91fdc3b2ceedc87c6c1480e8577b6 (patch) | |
| tree | a79a78a20cd7a608e773bf4e4ee2c1229b895a2e /kernel | |
| parent | ddc83ed89cd6671cfa6b5bf2d0ce1fb74ad206c1 (diff) | |
Affinements suite à extension Tactic Notation aux tacticielles
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7030 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions