patch ddc-head: SystemF2Store: cleanups, use have instead of assert

[Ben Lippmeier]

Wed Oct 19 02:35:29 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SystemF2Store: cleanups, use have instead of assert

    M ./proof/DDC/Base/Tactics.v -2 +11
    M ./proof/DDC/Language/SystemF2Store/Preservation.v -18 +22
    M ./proof/DDC/Language/SystemF2Store/Progress.v -8 +4
    M ./proof/DDC/Language/SystemF2Store/Store.v -24 +24

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