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