theories/numbers.v · ad1d9f1363203e976cecee7b544e3c59a83c974e · Adam / stdpp

Forked from Iris / stdpp

Source project has a limited visibility.

4 years ago

Tej Chajed authored 4 years ago and

Robbert Krebbers committed 4 years ago

Set Default Goal Selector "!" makes it illegal to ever apply a tactic
with more than one goal (instead, must focus with bullets or braces).

ad1d9f13

Tej Chajed authored 4 years ago and

Robbert Krebbers committed 4 years ago

Set Default Goal Selector "!" makes it illegal to ever apply a tactic
with more than one goal (instead, must focus with bullets or braces).