patch ddc-head: SystemF2Data: Add type judgements

Fri, 29 Jul 2011 04:18:07 -0700 

Fri Jul 29 07:16:59 EDT 2011  Ben Lippmeier <[email protected]>
  * SystemF2Data: Add type judgements

    M ./proof/DDC/Language/SystemF2/KiJudge.v +2
    M ./proof/DDC/Language/SystemF2/Ty.v -8 +20
    M ./proof/DDC/Language/SystemF2Data.v -3 +3
    M ./proof/DDC/Language/SystemF2Data/Exp.v -1 +1
    A ./proof/DDC/Language/SystemF2Data/TyJudge.v

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

Reply via email to