Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
stdpp
Repository
stdpp
theories
base.v
Find file
Blame
History
Permalink
Move conversion functions list/option to set/disj_set to base.
· 34a3138e
Robbert Krebbers
authored
Feb 23, 2019
34a3138e