patch ddc-head: Make joint eval context types polymorphic and split into own module

[Ben Lippmeier]

Tue Aug 30 22:04:12 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * Make joint eval context types polymorphic and split into own module

    A ./proof/DDC/Data/Context.v
    M ./proof/DDC/Language/SimpleData/EvalChain.v -7 +7
    M ./proof/DDC/Language/SimpleData/Progress.v -1 +1
    M ./proof/DDC/Language/SimpleData/Step.v -2 +2
    M ./proof/DDC/Language/SimpleData/StepContext.v -248 +3

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