patch ddc-head: Simple: Extend burn tactic to be more useful

[Ben Lippmeier]

Wed Jul 13 05:51:12 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * Simple: Extend burn tactic to be more useful

    M ./proof/DDC/Base/Tactics.v -9 +65
    M ./proof/DDC/Language/Simple/Exp.v +10
    M ./proof/DDC/Language/Simple/Progress.v -17 +34
    M ./proof/DDC/Language/Simple/Step.v -12 +4
    M ./proof/DDC/Language/Simple/SubstExpExp.v -4 +6
    M ./proof/DDC/Language/Simple/Ty.v -6 +21
    M ./proof/DDC/Language/SimpleData/ExpLift.v -2 +2
    M ./proof/DDC/Language/SystemF/Ty.v -1 +1
    M ./proof/DDC/Language/SystemF2/Ty.v -1 +1

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