Skip to content
GitLab
Explore
Sign in
Matthieu Sozeau
stdpp
Repository
stdpp
theories
base.v
Find file
Blame
History
Permalink
Remove singleton notations for tuples, they go back to the time we used `singleton` for maps also.
· 993d41d3
Robbert Krebbers
authored
Mar 11, 2021
993d41d3