Permalink
Commits on Feb 20, 2017
  1. merge to get dans agda fixes

    emblack committed Feb 20, 2017
  2. small mso things

    committed Feb 20, 2017
  3. added in some of opentoclosed, changed definition of opentruth to all…

    …ow both open and closed structures
    emblack committed Feb 20, 2017
Commits on Feb 19, 2017
Commits on Feb 13, 2017
Commits on Feb 7, 2017
Commits on Feb 6, 2017
  1. changed listbijection to be a bijection between lists of different ty…

    …pes; wrote extend' and extend to recognize that the underlying subsets of extensions are preserved (I think--may need work)
    emblack committed Feb 6, 2017
Commits on Feb 3, 2017
Commits on Feb 2, 2017
  1. filled out part of gameEquiv

    emblack committed Feb 2, 2017
Commits on Jan 31, 2017
  1. test

    emblack committed Jan 31, 2017
Commits on Jan 15, 2017
  1. raw trees, undecided

    committed Jan 15, 2017
  2. raw trees, undecided

    committed Jan 15, 2017
  3. stuff

    committed Jan 15, 2017
Commits on Jan 8, 2017
Commits on Nov 22, 2016
  1. stuff

    committed Nov 22, 2016
  2. added opentruth

    emblack committed Nov 22, 2016
  3. added emilys versions of files

    emblack committed Nov 22, 2016
Commits on Oct 29, 2016
  1. heterogeneous equality

    committed Oct 29, 2016
  2. heterogeneous equality

    committed Oct 29, 2016
Commits on Sep 7, 2016
  1. stuff

    committed Sep 7, 2016
  2. stuff

    committed Sep 7, 2016
  3. stuff

    committed Sep 7, 2016
  4. fix

    committed Sep 7, 2016
  5. stuff

    committed Sep 7, 2016
  6. stuff

    committed Sep 7, 2016
  7. stuff

    committed Sep 7, 2016