Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
base_logic
lib
boxes.v
Find file
Blame
History
Permalink
Remove unused parameters from some boxes lemmas.
· 48be18be
Robbert Krebbers
authored
Nov 20, 2016
48be18be