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
    andrejbauer committed Mar 13, 2011
Commits on Mar 7, 2011
  1. type in README

    andrejbauer committed Mar 7, 2011
  2. Compatibility with Coq 8.2

    andrejbauer 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
    andrejbauer committed Mar 6, 2011
Commits on Mar 4, 2011
  1. Created a Makefile

    andrejbauer committed Mar 4, 2011
  2. Added Oberwolfach files

    andrejbauer committed Mar 4, 2011
  3. Checking that things work

    andrejbauer committed Mar 4, 2011
  4. Added Vladmir files

    andrejbauer committed Mar 4, 2011
  5. Initializing repository

    andrejbauer committed Mar 4, 2011