patch ddc-head: SystemF2Data: finish liftTT_wfT lemma

[Ben Lippmeier]

Sun Aug 14 01:31:09 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SystemF2Data: finish liftTT_wfT lemma

    M ./proof/DDC/Language/SystemF2/Ty.v -27
    M ./proof/DDC/Language/SystemF2/TyBase.v -12 +45
    M ./proof/DDC/Language/SystemF2/TyLift.v +24
    M ./proof/DDC/Language/SystemF2Data/TyJudge.v -66 +3

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