]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f79585f) | patch
M logic/coimplication.ma
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Dec 2006 12:01:11 +0000 (12:01 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Dec 2006 12:01:11 +0000 (12:01 +0000)
commitc63590f609ffda64f0af782bccb127e1701c34d7
tree97e566ac4c400bdb31ee50852cce68a451d48567tree | snapshot
parentf79585fe2f19c4a545938e189439d87b2611a47acommit | diff
M    logic/coimplication.ma
helm/software/matita/library/logic/coimplication.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.