patch ddc-head: SimpleData: more cleanups

[Ben Lippmeier]

Wed Jul 20 07:11:51 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SimpleData: more cleanups

    M ./proof/DDC/Base/Tactics.v +6
    M ./proof/DDC/Language/SimpleData/Eval.v -1 +1
    M ./proof/DDC/Language/SimpleData/Exp.v +10
    M ./proof/DDC/Language/SimpleData/Preservation.v -2 +2
    M ./proof/DDC/Language/SimpleData/Progress.v -57 +47
    M ./proof/DDC/Language/SimpleData/Step.v -46 +29
    M ./proof/DDC/Language/SimpleData/StepAlt.v -11 +15
    M ./proof/DDC/Language/SimpleData/TyJudge.v +16

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