patch ddc-head: SystemF2Data: working on preservation

[Ben Lippmeier]

Wed Aug 31 03:22:12 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SystemF2Data: working on preservation

    M ./proof/DDC/Base/Tactics.v +9
    M ./proof/DDC/Language/SystemF2/TyBase.v +49
    M ./proof/DDC/Language/SystemF2Data.v -1 +1
    A ./proof/DDC/Language/SystemF2Data/Preservation.v
    M ./proof/DDC/Language/SystemF2Data/SubstExpExp.v +30

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