Historique de révision de « not backward Boolean implication(T,T) = F » (Z11227)

Legenda : (cur) = diferéncia amb la version actuala , (prev) = diferéncia amb la version precedenta, m = cambiament menor