theories/proofmode/intro_patterns.v · 4e597ea3577c4451f2b244c5764f393897bc107b · Abel Nieto / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

6 years ago
4e597ea3
Rename constructors of intro pattern stack_items (used in the parser). · 4e597ea3
Robbert Krebbers authored 6 years ago
```
This is to avoid confusion with those of selection patterns.
```
4e597ea3

History
Rename constructors of intro pattern stack_items (used in the parser).
Robbert Krebbers authored 6 years ago
```
This is to avoid confusion with those of selection patterns.
```