patch ddc-head: Add new exp cases for Simple Data

[Ben Lippmeier]

Wed May 11 07:02:20 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * Add new exp cases for Simple Data

    M ./proof/Simple_Data/Base.v +1
    M ./proof/Simple_Data/Exp.v -17 +100

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