patch ddc-head: Dup Simple proof as Simple_Data

[Ben Lippmeier]

Sat May  7 01:46:04 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * Dup Simple proof as Simple_Data

    A ./proof/Simple_Data/
    A ./proof/Simple_Data/Base.v
    A ./proof/Simple_Data/BaseLibTactics.v
    A ./proof/Simple_Data/BaseNat.v
    A ./proof/Simple_Data/BaseTactics.v
    A ./proof/Simple_Data/Bonus.v
    A ./proof/Simple_Data/Env.v
    A ./proof/Simple_Data/EsJudge.v
    A ./proof/Simple_Data/EvJudge.v
    A ./proof/Simple_Data/Exp.v
    A ./proof/Simple_Data/Preservation.v
    A ./proof/Simple_Data/Progress.v
    A ./proof/Simple_Data/SubstExpExp.v
    A ./proof/Simple_Data/TyJudge.v

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