patch ddc-head: SystemF2Data: fix admit in value_lam

[Ben Lippmeier]

Fri Aug  5 01:33:47 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SystemF2Data: fix admit in value_lam

    M ./proof/DDC/Language/SystemF2/TyBase.v +48
    M ./proof/DDC/Language/SystemF2Data/Def.v +61
    M ./proof/DDC/Language/SystemF2Data/TyJudge.v -2 +9

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