Improve tactic `convert_two_instants_into_instant_and_duration`
- Oct 04, 2021
-
-
Sergey Bozhko authored
* use more concise name * add cases with [is_true _] in addition to cases with [_ = true]
d9b93b99
-
add cases with is_true _
in addition to cases with _ = true
* use more concise name * add cases with [is_true _] in addition to cases with [_ = true]