patch ddc-head: proof: add type lifting lemmas

[Ben Lippmeier]

Wed Feb 29 05:20:57 EST 2012  Ben Lippmeier <b...@ouroborus.net>
  * proof: add type lifting lemmas

    M ./proof/DDC/Language/DiscipleKernel.v +3
    A ./proof/DDC/Language/DiscipleKernel/TyLift.v

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