Mentions légales du service
Skip to content
GitLab
Explore
Sign in
belenios
belenios
Repository
belenios
src
helios_datatypes.atd
Find file
Blame
History
Permalink
s/proof/disjunctive_proof/g and s/proof_item/proof/g
· e7e5f291
Stephane Glondu
authored
Nov 19, 2012
e7e5f291