patch ddc-head: SimpleRef: fix rest of admits

[Ben Lippmeier]

Sun Jul 17 09:00:32 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SimpleRef: fix rest of admits

    M ./proof/DDC/Data/List/Forall.v +36
    M ./proof/DDC/Data/List/Update.v +35
    M ./proof/DDC/Language/SimpleRef/Eval.v -24 +25
    M ./proof/DDC/Language/SimpleRef/Step.v -1 +22

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