patch ddc-head: SystemF2Data: Add expression definitions

Wed, 27 Jul 2011 05:54:24 -0700 

Wed Jul 27 08:53:24 EDT 2011  Ben Lippmeier <[email protected]>
  * SystemF2Data: Add expression definitions

    M ./proof/DDC/Language/SystemF2Data.v -2 +13
    A ./proof/DDC/Language/SystemF2Data/Exp.v
    A ./proof/DDC/Language/SystemF2Data/ExpAlt.v
    A ./proof/DDC/Language/SystemF2Data/ExpLift.v
    A ./proof/DDC/Language/SystemF2Data/ExpSubst.v

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

Reply via email to