patch ddc-head: Fix XLAM case in subst type/value

[Ben Lippmeier]

Tue Apr 26 05:43:51 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * Fix XLAM case in subst type/value

    M ./proof/Poly/SubstTypeType.v -1 +59
    M ./proof/Poly/SubstTypeValue.v -47 +21

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