]> matita.cs.unibo.it Git - helm.git/commit
New definition of negation
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Mar 2010 12:23:31 +0000 (12:23 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 12 Mar 2010 12:23:31 +0000 (12:23 +0000)
commitee1df68d10351f30ea591ccc2173197d99e307cc
tree8a7ae2b8346d167d29b97a703d544009bd4e7531
parentdd103db6b51f6b3d763ff6e05892dbcfa85c0a9d
New definition of negation
helm/software/matita/nlibrary/Plogic/connectives.ma