patch ddc-head: SystemF2: Fix admits in substTTs_closing

[Ben Lippmeier]

Mon Aug 29 05:29:44 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SystemF2: Fix admits in substTTs_closing

    M ./proof/DDC/Data/List.v +16
    M ./proof/DDC/Data/List/Base.v +1
    M ./proof/DDC/Data/List/Forall.v -1 +2
    M ./proof/DDC/Data/List/Forall2.v -1
    M ./proof/DDC/Language/SystemF2/TySubsts.v -5 +5

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