patch ddc-head: Update kind and type structure for SystemF2

[Ben Lippmeier]

Wed May  4 08:46:05 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * Update kind and type structure for SystemF2

    M ./proof/SystemF2/Ki.v -1 +4
    M ./proof/SystemF2/KiJudge.v -6 +10
    M ./proof/SystemF2/Ty.v -20 +29

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