]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c4e298) | patch
not_to_not
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 3 Jun 2009 14:42:12 +0000 (14:42 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 3 Jun 2009 14:42:12 +0000 (14:42 +0000)
commit5dedda34c5f7b80d10bff717c5e6f90d0b92a5c7
tree348fed0b57b73ec6fa3e5f8a071551294e40adc3tree | snapshot
parent9c4e2987294f8943feaa87ad16953ae0e5c0019fcommit | diff
not_to_not
helm/software/matita/library/logic/connectives.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.