-
Robbert Krebbers authored
The tactic `iFrame` frames the spatial context in order, it does not do repeat `iFrame anyHyp`. As a result, when you have evars, things become ambigious
Robbert Krebbers authoredThe tactic `iFrame` frames the spatial context in order, it does not do repeat `iFrame anyHyp`. As a result, when you have evars, things become ambigious