1. 16 Feb, 2020 1 commit
  2. 15 Feb, 2020 1 commit
  3. 06 Feb, 2020 1 commit
  4. 27 Jan, 2020 1 commit
  5. 21 Nov, 2019 2 commits
  6. 07 Nov, 2019 1 commit
  7. 19 Sep, 2019 2 commits
  8. 13 Aug, 2019 1 commit
  9. 09 Aug, 2019 1 commit
  10. 18 Jun, 2019 1 commit
  11. 13 Jun, 2019 1 commit
  12. 12 Jun, 2019 1 commit
  13. 11 Jun, 2019 2 commits
  14. 07 Jun, 2019 1 commit
  15. 24 May, 2019 1 commit
  16. 19 May, 2019 1 commit
    • Robbert Krebbers's avatar
      Fix compilation with Coq master. · cfcd6329
      Robbert Krebbers authored
      The `[$]` pattern was used in an ambiguous way; there where multiple
      hypotheses that could be used, and for some reason a different is
      picked now.
      cfcd6329
  17. 14 May, 2019 1 commit
  18. 25 Apr, 2019 2 commits
  19. 06 Mar, 2019 1 commit
  20. 03 Feb, 2019 2 commits
  21. 01 Feb, 2019 1 commit
  22. 24 Dec, 2018 3 commits
  23. 08 Nov, 2018 1 commit
  24. 31 Oct, 2018 1 commit