patch ddc-head: Proof: Start on System-F2 with algebraic data

[Ben Lippmeier]

Mon Jul 25 09:20:45 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * Proof: Start on System-F2 with algebraic data

    A ./proof/DDC/Language/SystemF2Data/
    A ./proof/DDC/Language/SystemF2Data.v
    A ./proof/DDC/Language/SystemF2Data/Def.v
    A ./proof/DDC/Language/SystemF2Data/ExpBase.v
    M ./proof/Main.v +2

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