patch ddc-head: SimpleResource: experiments

[Ben Lippmeier]

Thu Aug  4 22:14:24 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SimpleResource: experiments

    A ./proof/DDC/Language/SimpleResource/
    A ./proof/DDC/Language/SimpleResource.v
    A ./proof/DDC/Language/SimpleResource/Exp.v
    A ./proof/DDC/Language/SimpleResource/Ty.v
    A ./proof/DDC/Language/SimpleResource/TyJudge.v
    M ./proof/Main.v +3

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