patch ddc-head: SimpleRef: Work on preservation

Tue, 12 Jul 2011 20:28:46 -0700 

Tue Jul 12 23:26:32 EDT 2011  Ben Lippmeier <[email protected]>
  * SimpleRef: Work on preservation 

    M ./proof/DDC/Language/SimpleRef/Preservation.v -11 +51
    M ./proof/DDC/Language/SimpleRef/Step.v -2 +2
    M ./proof/DDC/Language/SimpleRef/Ty.v -1 +29

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

Reply via email to