patch ddc-head: SimpleRef: fix remaining admits in presevation

Sun, 17 Jul 2011 00:31:24 -0700 

Sun Jul 17 03:30:41 EDT 2011  Ben Lippmeier <[email protected]>
  * SimpleRef: fix remaining admits in presevation

    M ./proof/DDC/Data/List/Extends.v +21
    M ./proof/DDC/Language/SimpleRef/Preservation.v -6 +4
    M ./proof/DDC/Language/SimpleRef/Progress.v +6
    M ./proof/DDC/Language/SimpleRef/Ty.v +4

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

Reply via email to