Commit 5f52db46 authored by Jonas Kastberg Hinrichsen's avatar Jonas Kastberg Hinrichsen

Merge branch 'master' of gitlab.mpi-sws.org:jihgfee/osiris

parents 9b52923f b0fe9afb
......@@ -339,4 +339,4 @@ Section stype.
- iDestruct "H" as (w ->) "[H HP]".
wp_pures. iApply "HΦ". iFrame.
Qed.
End stype.
End stype.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment