patch ddc-head: SystemF2Data: work on SubstTypeExp

[Ben Lippmeier]

Sun Aug 28 09:16:52 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SystemF2Data: work on SubstTypeExp

    M ./proof/DDC/Language/SystemF2/SubstTypeType.v +18
    M ./proof/DDC/Language/SystemF2/TySubsts.v -2 +19
    A ./proof/DDC/Language/SystemF2Data/SubstTypeExp.v

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