-
Robbert Krebbers authored
These tactics are superfluous: - iPure H as pat => iDestruct H as pat - iPersistent H => iSpecialize H "!"
99fd8e5b
These tactics are superfluous: - iPure H as pat => iDestruct H as pat - iPersistent H => iSpecialize H "!"