Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
theories
hlist.v
Find file
Blame
History
Permalink
Minor beautification.
· ffb7f0cc
Robbert Krebbers
authored
Oct 28, 2017
ffb7f0cc