patch ddc-head: SystemF2: add liftTT_wfT

[Ben Lippmeier]

Mon Aug 29 06:07:17 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SystemF2: add liftTT_wfT

    M ./proof/DDC/Language/SystemF2/TyLift.v +24
    M ./proof/DDC/Language/SystemF2/TySubsts.v -1 +4

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