patch ddc-head: SystemF2Data: change well formedness judgements to only need length of environment, not contents

[Ben Lippmeier]

Thu Aug  4 22:14:59 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SystemF2Data: change well formedness judgements to only need length of 
environment, not contents

    M ./proof/DDC/Language/SystemF2/TyBase.v +18
    M ./proof/DDC/Language/SystemF2/TyJudge.v -1
    M ./proof/DDC/Language/SystemF2/TySubst.v +13
    M ./proof/DDC/Language/SystemF2Data/Exp.v -29 +29
    M ./proof/DDC/Language/SystemF2Data/TyJudge.v -5 +5

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