Permalink
Commits on Mar 24, 2011
  1. "weak equivalence" --> "equivalence" everywhere.

    Mike Shulman committed Mar 24, 2011
  2. Fixed typos, added a few parentheses for clarity.

    Mike Shulman committed Mar 24, 2011
Commits on Mar 13, 2011
  1. Merge branch 'master' of github.com:andrejbauer/Homotopy

    Conflicts:
    	Experimental/Interval.v
    committed Mar 13, 2011
Commits on Mar 7, 2011
  1. type in README

    committed Mar 7, 2011
  2. Compatibility with Coq 8.2

    committed Mar 7, 2011
  3. Instructions on how to get the submodules

    Andrej Bauer committed Mar 7, 2011
Commits on Mar 6, 2011
  1. Cleaning up the UnivalentFoundations library, and adding .gitignore f…

    …iles all over the place
    committed Mar 6, 2011
Commits on Mar 4, 2011
  1. Created a Makefile

    committed Mar 4, 2011
  2. @peterlefanulumsdaine
  3. @peterlefanulumsdaine
  4. Added Oberwolfach files

    committed Mar 4, 2011
  5. Checking that things work

    committed Mar 4, 2011
  6. Added Vladmir files

    committed Mar 4, 2011
  7. Initializing repository

    committed Mar 4, 2011