patch ddc-head: SimpleData: document the heart of darkness that is EvalChain

Wed, 20 Jul 2011 06:07:37 -0700 

Wed Jul 20 09:07:00 EDT 2011  Ben Lippmeier <[email protected]>
  * SimpleData: document the heart of darkness that is EvalChain

    M ./proof/DDC/Language/SimpleData/Eval.v -12
    M ./proof/DDC/Language/SimpleData/EvalChain.v -6 +49
    M ./proof/DDC/Language/SimpleData/Exp.v +15
    M ./proof/DDC/Language/SimpleData/ExpLift.v -10 +8
    M ./proof/DDC/Language/SimpleData/ExpSubst.v -3 +1
    M ./proof/DDC/Language/SimpleData/Preservation.v -20 +8
    M ./proof/DDC/Language/SimpleData/Progress.v -8 +4

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

Reply via email to