diff options
| author | Pierre-Marie Pédrot | 2013-11-27 18:59:16 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2013-11-27 18:59:16 +0100 |
| commit | d400485650323689f9e09d202dfefe24e3ecfaac (patch) | |
| tree | 68942f69e34c02b2f21dd6232865266168a92d91 /dev | |
| parent | 8c962c46397d707435834d6765d1c243a844babd (diff) | |
Fixing abstract tactic by using a dummy name out of a declared proof.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions