Skip to content
GitLab
Explore
Sign in
Simon Spies
Iris
Repository
iris
theories
heap_lang
proofmode.v
Find file
Blame
History
Permalink
Small simplification to `wp_bind_core`.
· 71d78026
Robbert Krebbers
authored
Nov 05, 2017
71d78026