]>
2019-09-27 | Andrea Berlingieri | Make 'that is equivalent to' a standalone tactic |
commit | commitdiff | tree |
2019-09-27 | Andrea Berlingieri | Many changes |
commit | commitdiff | tree |
2019-09-27 | Andrea Berlingieri | Fix indentation |
commit | commitdiff | tree |
2019-09-27 | Andrea Berlingieri | Add support for proving cases in a different order |
commit | commitdiff | tree |
2019-09-27 | Andrea Berlingieri | Add last declarative tactics, modify rewriting tactics |
commit | commitdiff | tree |
2019-09-27 | Andrea Berlingieri | Changes to declarative tactics, implementation of equality... |
commit | commitdiff | tree |
2019-09-27 | Andrea Berlingieri | Many changes |
commit | commitdiff | tree |
2019-09-27 | Andrea Berlingieri | Add drafts for some tactics |
commit | commitdiff | tree |
2019-09-27 | Andrea Berlingieri | Partially restore the suppose tactic |
commit | commitdiff | tree |
2019-09-27 | Andrea Berlingieri | Partially restore the assume tactic |
commit | commitdiff | tree |