patch ddc-head: SimpleRef: do big to small steps

Thu, 14 Jul 2011 22:05:53 -0700 

Fri Jul 15 01:05:17 EDT 2011  Ben Lippmeier <[email protected]>
  * SimpleRef: do big to small steps

    M ./proof/DDC/Base/Tactics.v +6
    M ./proof/DDC/Language/SimpleRef.v -1 +1
    M ./proof/DDC/Language/SimpleRef/Eval.v -34 +66

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

Reply via email to