1. 28 Jul, 2016 1 commit
  2. 27 Jul, 2016 5 commits
  3. 21 Jul, 2016 1 commit
    • Robbert Krebbers's avatar
      Some tweaks. · 037d8d62
      Robbert Krebbers authored
      In particular, remove ectx_language.atomic, because it seems unused
      expect for a smart constructor for language.atomic.
      037d8d62
  4. 20 Jul, 2016 4 commits
  5. 19 Jul, 2016 11 commits
  6. 18 Jul, 2016 3 commits
  7. 15 Jul, 2016 2 commits
  8. 13 Jul, 2016 2 commits
  9. 12 Jul, 2016 2 commits
  10. 11 Jul, 2016 2 commits
  11. 04 Jul, 2016 1 commit
  12. 03 Jul, 2016 1 commit
  13. 30 Jun, 2016 3 commits
  14. 29 Jun, 2016 1 commit
  15. 27 Jun, 2016 1 commit
    • Robbert Krebbers's avatar
      Rename type classes in proof mode. · 1aae01e6
      Robbert Krebbers authored
      We are now using the prefixes Into, From, and Is (the first two are
      inspired by the names of some traits in the Rust stdlib), and hopefully
      doing that consistenly.
      1aae01e6