]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6080552) | patch
Dependencies removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 22 Jul 2008 07:01:06 +0000 (07:01 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 22 Jul 2008 07:01:06 +0000 (07:01 +0000)
commit0cc98ffd7308208cb26dae42435d1dcbd63b93fb
treedecf2bfeb6acf2124cb996d048cfdd9045a56cc2tree | snapshot
parent6080552519697d67971ff21c17b563359fab9a05commit | diff
Dependencies removed.
helm/software/matita/library/logic/cprop_connectives.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.