Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
assoc.v
Find file
Blame
History
Permalink
Make arguments of proj1_sig maximally implicit.
· b6ad5868
Robbert Krebbers
authored
Aug 21, 2013
b6ad5868