patch ddc-head: SimpleData: add missing top-level file

[Ben Lippmeier]

Fri Jul  8 02:16:08 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SimpleData: add missing top-level file

    A ./proof/DDC/Language/SimpleData.v
    M ./proof/DDC/Language/SimpleData/Exp.v -1 +1

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