• Robbert Krebbers's avatar
    Remove wp_X> tactics and improve wp_finish. · eab6c6c4
    Robbert Krebbers authored
    Since strip_later is doing a good job stripping laters in the conclusion,
    these tactics are thus no longer needed. Also, wp_finish now properly
    converts the result in a primitive viewshift in case it is not a weakestpre.