1. 31 Jan, 2018 40 commits
  2. 28 Jan, 2018 40 commits
  3. 07 Dec, 2017 40 commits
  4. 04 Dec, 2017 40 commits
  5. 27 Nov, 2017 40 commits
  6. 30 Oct, 2017 40 commits
    • Dan Frumin's avatar
      More robust solve_closed tactic · 59d1cab3
      Dan Frumin authored
      Add a pre_solve_closed ltac that basically changes the goal from
      `Closed X e` to `Closed ∅ e`. It is actually OK in practice.
      59d1cab3
  7. 13 Sep, 2017 40 commits
  8. 12 Sep, 2017 40 commits
  9. 11 Sep, 2017 40 commits
  10. 09 Sep, 2017 40 commits
  11. 06 Sep, 2017 40 commits
  12. 05 Sep, 2017 40 commits
  13. 04 Sep, 2017 40 commits
  14. 31 Aug, 2017 40 commits
  15. 28 Aug, 2017 40 commits
  16. 14 Aug, 2017 40 commits
  17. 03 May, 2017 40 commits
  18. 18 Apr, 2017 40 commits
  19. 10 Apr, 2017 40 commits
  20. 01 Jan, 2016 40 commits
  21. 28 Mar, 2017 40 commits
  22. 21 Mar, 2017 40 commits
  23. 10 Feb, 2017 40 commits
  24. 05 Nov, 2016 40 commits
  25. 04 Nov, 2016 40 commits
  26. 29 Aug, 2016 40 commits
  27. 06 Jul, 2016 40 commits
  28. 05 Jul, 2016 40 commits
  29. 03 Jul, 2016 40 commits
  30. 02 Jul, 2016 40 commits
  31. 01 Jul, 2016 40 commits