Permalink
Commits on Feb 12, 2015
  1. intuitionistic logic

    digama0 committed Feb 12, 2015
Commits on Jan 28, 2015
  1. sorear mathbox update

    digama0 committed Jan 28, 2015
  2. master as of 21-Jan-2015

    digama0 committed Jan 28, 2015
Commits on Jan 21, 2015
  1. eliminate lss*OLD usage

    digama0 committed Jan 21, 2015
  2. Merge branch 'exp' into norm

    digama0 committed Jan 21, 2015
    Conflicts:
    	set.mm
Commits on Jan 20, 2015
  1. Sylow theorems

    digama0 committed Jan 20, 2015
Commits on Jan 11, 2015
  1. master as of 9-Jan-2015

    digama0 committed Jan 11, 2015
Commits on Jan 8, 2015
  1. merge sorear stuff

    digama0 committed Jan 8, 2015
Commits on Jan 7, 2015
  1. Merge branch 'master' into sorear

    digama0 committed Jan 7, 2015
    Conflicts:
    	set.mm
  2. master as of 28-Dec-2014

    digama0 committed Jan 7, 2015
Commits on Dec 29, 2014
  1. gsum and mulGrp

    digama0 committed Dec 29, 2014
  2. master as of 27-Dec-2014

    digama0 committed Dec 29, 2014
Commits on Dec 8, 2014
  1. merge with sorear branch

    digama0 committed Dec 8, 2014
Commits on Dec 7, 2014
  1. master as of 2-Dec-2014

    digama0 committed Dec 7, 2014
Commits on Dec 2, 2014
Commits on Dec 1, 2014
  1. definitions for Cp

    digama0 committed Dec 1, 2014
  2. master as of 30-Nov-2014

    digama0 committed Dec 1, 2014
Commits on Sep 23, 2014
  1. master as of 21-Sep-2014

    digama0 committed Sep 23, 2014
Commits on Sep 21, 2014
  1. various cleanup stuff

    digama0 committed Sep 21, 2014
Commits on Sep 20, 2014
  1. master as of 19-Sep-2014

    digama0 committed Sep 20, 2014
Commits on Sep 15, 2014
  1. master as of 11-Sep-2014

    digama0 committed Sep 15, 2014
Commits on Sep 11, 2014
  1. ostrowski's thm

    digama0 committed Sep 11, 2014
  2. integration rules

    digama0 committed Sep 8, 2014
  3. master as of 4-Sep-2014

    digama0 committed Sep 11, 2014
Commits on Sep 4, 2014
  1. master as of 3-Sep-2014

    digama0 committed Sep 4, 2014
Commits on Sep 3, 2014
  1. master as of 20-Aug-2014

    digama0 committed Sep 3, 2014
Commits on Aug 19, 2014
  1. break up large proofs

    digama0 committed Aug 19, 2014
  2. move continuity to part 14

    digama0 committed Aug 18, 2014
  3. master as of 18-Aug-2014

    digama0 committed Aug 19, 2014