Revision history of "not boolean implication" (Z10962)
Ad seligendas differentias nota diversarum redactionum bullas et agi iube!
Legenda: (nov) = differentiam monstrabit inter hanc et novissimam redactionem,
(prox) = differentiam monstrabit inter hanc et superiorem redactionem,
(m) = recensio minor.