projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 12 Mar 2010 12:23:31 +0000 (12:23 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 12 Mar 2010 12:23:31 +0000 (12:23 +0000) | ||
| commit | ee1df68d10351f30ea591ccc2173197d99e307cc | |
| tree | 8a7ae2b8346d167d29b97a703d544009bd4e7531 | tree | snapshot |
| parent | dd103db6b51f6b3d763ff6e05892dbcfa85c0a9d | commit | diff |
| helm/software/matita/nlibrary/Plogic/connectives.ma | diff | blob | history |