Historie verzí pro „not backward Boolean implication(T,T) = F“ (Z11227)

Výběr rozdílu: Vyberte přepínače u revizí, které chcete porovnat, a stiskněte enter nebo tlačítko dole.
Legenda: (teď) = rozdíly oproti nynější verzi, (předchozí) = rozdíly oproti předchozí verzi, m = malá editace