patch ddc-head: SystemF2: cleanups

[Ben Lippmeier]

Mon Jul 25 08:56:33 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SystemF2: cleanups

    M ./proof/DDC/Language/SystemF2/Exp.v +11
    M ./proof/DDC/Language/SystemF2/KiJudge.v -3 +14
    M ./proof/DDC/Language/SystemF2/SubstExpExp.v -12 +10
    M ./proof/DDC/Language/SystemF2/SubstTypeExp.v -5 +4
    M ./proof/DDC/Language/SystemF2/SubstTypeType.v -1 +1
    M ./proof/DDC/Language/SystemF2/TyJudge.v -41 +22

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