patch ddc-head: SimpleRef: Shift extends into own module and fix admit in preservation

[Ben Lippmeier]

Sun Jul 17 03:17:54 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SimpleRef: Shift extends into own module and fix admit in preservation

    M ./proof/DDC/Data/List.v +1
    M ./proof/DDC/Data/List/Base.v +13
    A ./proof/DDC/Data/List/Extends.v
    M ./proof/DDC/Language/SimpleRef/Preservation.v -44 +5
    M ./proof/DDC/Language/SimpleRef/SubstExpExp.v -1 +1
    M ./proof/DDC/Language/SimpleRef/Ty.v -3 +19

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