patch ddc-head: SimpleData: more cleanups

[Ben Lippmeier]

Mon Jul 18 09:08:12 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SimpleData: more cleanups

    M ./proof/DDC/Language/SimpleData/Eval.v -3 +3
    M ./proof/DDC/Language/SimpleData/EvalChain.v -1 +1
    M ./proof/DDC/Language/SimpleData/Preservation.v -1 +1
    M ./proof/DDC/Language/SimpleData/StepContext.v -92 +139
    M ./proof/DDC/Language/SimpleData/TyJudge.v -5 +5

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