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

Sélection du diff : cochez les boutons radio des versions à comparer et appuyez sur entrée ou sur le bouton en bas.
Légende : (sika) = différence avec la dernière version, (ya nsúka) = différence avec la version précédente, m = modification mineure.