• Robbert Krebbers's avatar
    Make wp_tactics more robust. · d1fc135b
    Robbert Krebbers authored
    Tactics like wp_proj should always solve all to_val side-conditions. The
    tactic wp_done is used to handle these in a uniform way.
    d1fc135b
par.v 1.73 KB