patch ddc-head: Simple Data: Redoing big-step eval for XCon to use EVALS judgement

Mon, 20 Jun 2011 06:15:02 -0700 

Mon Jun 20 09:13:18 EDT 2011  Ben Lippmeier <[email protected]>
  * Simple Data: Redoing big-step eval for XCon to use EVALS judgement

    M ./proof/Simple_Data/EsContext.v +10
    M ./proof/Simple_Data/EvJudge.v -40 +225

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

Reply via email to