Skip to content
Commits on Apr 24, 2012
  1. @andrejbauer
  2. @andrejbauer
  3. @andrejbauer

    Adapted the IT directory so that it compiles with Foundations.

    andrejbauer committed
    This required fixing the include directives in the Makefile
    and removing Load Rec Path in all the files.
  4. @andrejbauer
  5. @andrejbauer

    Added the IT subdirectory with treatment of W-types in HoTT.

    andrejbauer committed
    The IT directory, which was previously part of the HoTT subdirectory,
    properly belongs to the Foundations repository, as it depends on it.
    Thus we have moved it over here, also to maintain compatibility with
    future versions of Foundations.
    
    The IT subdirectory does not compile yet, however. While I have
    fixed Makefile, I think, there seem to be a number of
    "Add Rec Load Path", which need to be modified, or even better,
    they should be removed because they are already there in the
    Makefile so they don't surve a purpose anymore. But I think it
    is not much work to get IT to compile.
Commits on Nov 6, 2011
  1. @vladimirias

    Major Update

    vladimirias committed
Commits on Sep 8, 2011
  1. @vladimirias
Commits on Sep 3, 2011
  1. @vladimirias
Commits on Sep 2, 2011
  1. @vladimirias

    Major Update

    vladimirias committed
  2. @vladimirias

    Corrected Update

    vladimirias committed
  3. @vladimirias

    Major Update

    vladimirias committed
  4. @vladimirias

    Major Upade

    vladimirias committed
Commits on May 24, 2011
  1. @vladimirias
  2. @vladimirias
Commits on May 17, 2011
  1. @vladimirias

    Major Update

    vladimirias committed
  2. @vladimirias
  3. @vladimirias

    Intermediate update

    vladimirias committed
  4. @vladimirias

    Intermediate update

    vladimirias committed
Commits on Mar 11, 2011
  1. @vladimirias

    new README added

    vladimirias committed
  2. @vladimirias

    Intermediate Update

    vladimirias committed
  3. @vladimirias

    Major Update

    vladimirias committed
Commits on Jan 25, 2011
  1. @vladimirias

    A clean up

    vladimirias committed
  2. @vladimirias

    Major update

    vladimirias committed
Commits on Nov 17, 2010
  1. @vladimirias

    New definition of coconusf

    vladimirias committed
Commits on Nov 5, 2010
  1. @vladimirias

    more cleaning

    vladimirias committed
  2. @vladimirias

    Major Update (corrected)

    vladimirias committed
  3. @vladimirias

    Major Update (corrected)

    vladimirias committed
  4. @vladimirias

    Major Update

    vladimirias committed
Commits on Oct 28, 2010
  1. @vladimirias

    Commit where computation of the number of elements in the complement …

    vladimirias committed
    …to the only point in unit x unit does not terminate after about an hour of computation.
Commits on Oct 26, 2010
  1. @vladimirias
Commits on Oct 21, 2010
  1. @vladimirias
Commits on Oct 19, 2010
  1. @vladimirias
Commits on Oct 17, 2010
  1. @vladimirias
Commits on Oct 13, 2010
  1. @vladimirias
Commits on Oct 4, 2010
  1. @vladimirias
Something went wrong with that request. Please try again.