-
Robbert Krebbers authored
This avoids weird Ltac behaviors like those in !272. Also, change `before_tc` keyword into `as` to be consistent with other tactics.
3147b08a
This avoids weird Ltac behaviors like those in !272. Also, change `before_tc` keyword into `as` to be consistent with other tactics.