Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
AltSubst.v
Find file
Blame
History
Permalink
Toolbox.v : split Meta.v in half, all basic properties now in this new file
· 61fd1f69
Pierre Letouzey
authored
Aug 05, 2020
61fd1f69