Commit a9f8d0f0 authored by Robbert Krebbers's avatar Robbert Krebbers

Enable $-prefixes in ssr-like {H1 .. Hn} intro-patterns to perform framing.

For example iIntros "{$H1 H2} H1" frames H1, clears H2, and introduces H1.
parent f1c83a61
Pipeline #1805 passed with stage