patch ddc-head: SimpleRef: fixing up automation

Wed, 13 Jul 2011 20:08:50 -0700 

Wed Jul 13 23:08:25 EDT 2011  Ben Lippmeier <[email protected]>
  * SimpleRef: fixing up automation

    M ./proof/DDC/Language/Simple/Ty.v -1
    M ./proof/DDC/Language/SimpleRef/Exp.v +10
    M ./proof/DDC/Language/SimpleRef/Progress.v -49 +49
    M ./proof/DDC/Language/SimpleRef/Step.v -11 +3
    M ./proof/DDC/Language/SimpleRef/SubstExpExp.v -4 +4
    M ./proof/DDC/Language/SimpleRef/Ty.v -9 +29

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

Reply via email to