patch ddc-head: Simple: move quantifiers around

Fri, 29 Jul 2011 04:18:06 -0700 

Fri Jul 29 06:38:20 EDT 2011  Ben Lippmeier <[email protected]>
  * Simple: move quantifiers around

    M ./proof/DDC/Language/Simple/Eval.v -5 +5
    M ./proof/DDC/Language/Simple/SubstExpExp.v -2 +2
    M ./proof/DDC/Language/Simple/Ty.v -4 +4

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

Reply via email to