«Exemples de veritats formals»: Historial de revisions

Simbologia: (act) = diferència amb la versió actual, (prev) = diferència amb la versió anterior, m = modificació menor