patch ddc-head: Add extra type and evaluation rules for PCF

[Ben Lippmeier]

Thu May  5 07:37:01 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * Add extra type and evaluation rules for PCF 

    R ./proof/Simple_PCF/Bonus.v
    M ./proof/Simple_PCF/EsJudge.v -7 +75
    M ./proof/Simple_PCF/Exp.v -19 +90
    M ./proof/Simple_PCF/Makefile -2 +1
    M ./proof/Simple_PCF/Preservation.v +4
    M ./proof/Simple_PCF/SubstExpExp.v +6
    M ./proof/Simple_PCF/TyJudge.v -10 +63

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