patch ddc-head: SystemF2Data: fix last admits in progress

[Ben Lippmeier]

Fri Sep  2 05:40:18 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SystemF2Data: fix last admits in progress

    M ./proof/DDC/Language/SystemF2/KiJudge.v +12
    M ./proof/DDC/Language/SystemF2/TyBase.v +3
    M ./proof/DDC/Language/SystemF2Data/Progress.v -8 +10
    M ./proof/DDC/Language/SystemF2Data/TyJudge.v +13

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