patch ddc-head: SimpleData: Cleanup context lemmas

Mon, 25 Jul 2011 05:23:25 -0700 

Mon Jul 25 08:22:42 EDT 2011  Ben Lippmeier <[email protected]>
  * SimpleData: Cleanup context lemmas

    M ./proof/DDC/Language/SimpleData/Eval.v -19 +25
    M ./proof/DDC/Language/SimpleData/EvalChain.v -51 +51
    M ./proof/DDC/Language/SimpleData/StepContext.v +3

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

Reply via email to