patch ddc-head: SimpleRef: move dest and shift tactics into base library

[Ben Lippmeier]

Wed Jul 13 23:16:26 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * SimpleRef: move dest and shift tactics into base library

    M ./proof/DDC/Base/Tactics.v -1 +26
    M ./proof/DDC/Language/SimpleRef.v -1 +1
    M ./proof/DDC/Language/SimpleRef/Progress.v -18

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