patch ddc-head: SystemF2Data: cleanups

[Ben Lippmeier]

Wed Aug 31 09:31:22 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SystemF2Data: cleanups

    M ./proof/DDC/Base/Tactics.v -2 +6
    M ./proof/DDC/Data/List/Map.v +2
    M ./proof/DDC/Language/SystemF2/KiJudge.v -1 +1
    M ./proof/DDC/Language/SystemF2/TyBase.v -4 +2
    M ./proof/DDC/Language/SystemF2/TySubsts.v -6 +4
    M ./proof/DDC/Language/SystemF2Data.v -2 +2
    M ./proof/DDC/Language/SystemF2Data/Exp.v +4
    M ./proof/DDC/Language/SystemF2Data/ExpAlt.v +1
    M ./proof/DDC/Language/SystemF2Data/Preservation.v -4 +4
    M ./proof/DDC/Language/SystemF2Data/Progress.v -22 +14
    M ./proof/DDC/Language/SystemF2Data/Step.v -2 +2
    M ./proof/DDC/Language/SystemF2Data/SubstExpExp.v -9 +6
    M ./proof/DDC/Language/SystemF2Data/SubstTypeExp.v -24 +19
    M ./proof/DDC/Language/SystemF2Data/TyJudge.v -64 +54

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe