Skip to content
Commits on Jul 9, 2012
  1. Updated README.

    committed Jul 9, 2012
  2. Updated README.

    committed Jul 9, 2012
  3. Added logo

    --HG--
    rename : README => README.md
    committed Jul 9, 2012
Commits on Jul 3, 2012
  1. Merge pull request #2 from norm2782/master

    s/PermApp/PermAppL, add PermAppR, remove NoDupAppConsR', cleanup NoDupAppL, remove NoDupAppApp
    committed Jul 3, 2012
Commits on Jul 2, 2012
  1. @norm2782

    Remove PermAppAss

    norm2782 committed Jul 2, 2012
  2. @norm2782

    Remove NoDupAppConsR'

    norm2782 committed Jul 2, 2012
  3. @norm2782
  4. @norm2782
  5. @norm2782
  6. Merge pull request #1 from norm2782/master

    Add and prove several lemmas for NoDup, Permutation, and In
    committed Jul 2, 2012
Commits on Jun 29, 2012
  1. @norm2782

    Cleanup

    norm2782 committed Jun 29, 2012
  2. @norm2782
  3. @norm2782
  4. @norm2782
  5. @norm2782
  6. @norm2782

    WIP: NoDupNotIn

    norm2782 committed Jun 29, 2012
  7. @norm2782

    Minor cleanup

    norm2782 committed Jun 29, 2012
  8. @norm2782

    Revert "Add PermutationMaybeNilFlatMap"

    This reverts commit 8144f36.
    norm2782 committed Jun 29, 2012
  9. @norm2782

    Add PermutationMaybeNilFlatMap

    norm2782 committed Jun 29, 2012
  10. @norm2782

    Prove NotInCons

    norm2782 committed Jun 29, 2012
  11. @norm2782

    Formatting

    norm2782 committed Jun 29, 2012
  12. @norm2782

    Minor proof refactoring

    norm2782 committed Jun 29, 2012
Commits on Jun 28, 2012
  1. @norm2782
  2. @norm2782
  3. @norm2782
  4. @norm2782
  5. @norm2782

    Refactor NoDupFlatMapCons

    norm2782 committed Jun 28, 2012
  6. @norm2782
  7. @norm2782
  8. @norm2782

    Switch args

    norm2782 committed Jun 28, 2012
  9. @norm2782

    Push

    norm2782 committed Jun 28, 2012
Commits on Jun 27, 2012
  1. @norm2782
  2. @norm2782

    Revert eta-reduction partially

    norm2782 committed Jun 27, 2012
Something went wrong with that request. Please try again.