patch ddc-head: SystemF2: use rrwrite tactic to cleanup lifting lemmas

[Ben Lippmeier]

Sun Aug  7 23:15:25 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SystemF2: use rrwrite tactic to cleanup lifting lemmas

    M ./proof/DDC/Base/Tactics.v +7
    M ./proof/DDC/Data/Nat.v +2
    M ./proof/DDC/Language/SystemF2/TyLift.v -36 +31
    M ./proof/DDC/Language/SystemF2/TySubst.v -80 +70

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