Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
finite.v
Find file
Blame
History
Permalink
tune "Proof using" directives to minimize differences to previous types of all lemmas
· 47e0f1c4
Ralf Jung
authored
Jan 04, 2017
47e0f1c4