Permalink
Switch branches/tags
Nothing to show
Commits on Nov 21, 2011
  1. added Cohesion.v

    UrsSchreiber committed Nov 21, 2011
  2. added Cohesive.v

    UrsSchreiber committed Nov 21, 2011
  3. added Cohesion.v

    UrsSchreiber committed Nov 21, 2011
  4. polished

    UrsSchreiber committed Nov 21, 2011
  5. added plenty of comments

    UrsSchreiber committed Nov 21, 2011
  6. added plenty of comments

    UrsSchreiber committed Nov 21, 2011
  7. first commit

    UrsSchreiber committed Nov 21, 2011
  8. first commit

    UrsSchreiber committed Nov 21, 2011
Commits on Nov 17, 2011
  1. Updated notation.

    mikeshulman committed Nov 17, 2011
  2. Merge branch 'notation'

    mikeshulman committed Nov 17, 2011
Commits on Nov 16, 2011
  1. Move prod_path to Paths.v

    mikeshulman committed Nov 16, 2011
Commits on Nov 15, 2011
  1. Lots more stuff, including exponential ideals.

    mikeshulman committed Nov 15, 2011
    Preservation of products by the reflector not complete.
Commits on Nov 14, 2011
Commits on Jun 12, 2011
  1. Merge branch 'master' of github.com:HoTT/HoTT

    mikeshulman committed Jun 12, 2011
    Conflicts:
    	Coq/HIT/IsInhab.v
  2. Small changes all around

    andrejbauer committed Jun 12, 2011
Commits on Jun 11, 2011
Commits on Jun 1, 2011
  1. H-levels increase with n.

    Mike Shulman committed Jun 1, 2011
Commits on May 31, 2011
  1. wrapping in README

    andrejbauer committed May 31, 2011