doc/technical.tex: replace "axiom" with "prop" in a meta (reported by Ezgi Cicek)
doc/technical.tex: replace "axiom" with "prop" in a meta (reported by Ezgi Cicek)

ssaavedra/why3,ssaavedra/why3,ssaavedra/why3