-
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
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.