patch ddc-head: SystemF2Data: make data ctor arity match def, and fix type_tyenv_insert

Fri, 05 Aug 2011 00:26:13 -0700 

Fri Aug  5 03:25:23 EDT 2011  Ben Lippmeier <[email protected]>
  * SystemF2Data: make data ctor arity match def, and fix type_tyenv_insert

    M ./proof/DDC/Language/SystemF2Data/Def.v -2 +4
    M ./proof/DDC/Language/SystemF2Data/TyJudge.v -18 +22

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

Reply via email to