1. 18 Jun, 2021 1 commit
  2. 17 Jun, 2021 1 commit
  3. 16 Jun, 2021 1 commit
  4. 11 Jun, 2021 1 commit
  5. 10 Jun, 2021 2 commits
  6. 07 Jun, 2021 1 commit
  7. 06 Jun, 2021 1 commit
  8. 04 Jun, 2021 1 commit
  9. 02 Jun, 2021 2 commits
  10. 01 Jun, 2021 1 commit
  11. 26 May, 2021 2 commits
  12. 25 May, 2021 1 commit
  13. 20 May, 2021 2 commits
  14. 04 May, 2021 1 commit
  15. 03 May, 2021 1 commit
  16. 29 Apr, 2021 2 commits
  17. 20 Apr, 2021 1 commit
  18. 19 Mar, 2021 1 commit
  19. 11 Mar, 2021 1 commit
  20. 15 Feb, 2021 4 commits
  21. 01 Feb, 2021 1 commit
  22. 29 Jan, 2021 1 commit
  23. 28 Jan, 2021 1 commit
  24. 27 Jan, 2021 1 commit
  25. 23 Jan, 2021 1 commit
    • Robbert Krebbers's avatar
      Various `omap` lemmas for finite maps; generalize `map_size_{insert,delete}` · 0b4f16bf
      Robbert Krebbers authored and Ralf Jung's avatar Ralf Jung committed
      * Add lemma `map_omap_union`.
      * Add lemmas `map_disjoint_fmap` and `map_disjoint_omap`.
      * Add lemmas `fmap_merge` and `omap_merge`.
      * Add lemma `omap_delete`.
      * Generalize `omap_insert` and `omap_singleton` to cover both the `Some` and `None` case. Add `_Some` and `_None` versions of the lemmas for the specific cases.
      * Generalize `map_size_insert` and `map_size_delete` in the same way.
      * Add lemmas `lookup_fmap_Some`, `lookup_omap_Some`, and `lookup_omap_id_Some`.
      0b4f16bf
  26. 20 Jan, 2021 2 commits
  27. 19 Jan, 2021 1 commit
  28. 11 Jan, 2021 2 commits
  29. 04 Jan, 2021 1 commit
  30. 12 Nov, 2020 1 commit