Istoricul versiunilor pentru „not backward Boolean implication(T,T) = F” (Z11227)
Legendă: (actuală) = diferențe față de versiunea curentă, (prec) = diferențe față de versiunea precedentă, M = modificare minoră
Legendă: (actuală) = diferențe față de versiunea curentă, (prec) = diferențe față de versiunea precedentă, M = modificare minoră