]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 347c7d2) | patch
setoids.ma split into setoids.ma + setoids1.ma
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jul 2009 10:31:40 +0000 (10:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jul 2009 10:31:40 +0000 (10:31 +0000)
commit1dd64d6c49db7dc0dc0ee39c30da4c7a043b8bde
tree2bff2214f3899f2bd302c986f0894cb52670b32atree | snapshot
parent347c7d213fd1d106f22acd6fff82a83af14c1bbdcommit | diff
setoids.ma split into setoids.ma + setoids1.ma
helm/software/matita/nlibrary/depends diff | blob | history
helm/software/matita/nlibrary/depends.dot diff | blob | history
helm/software/matita/nlibrary/depends.png diff | blob | history
helm/software/matita/nlibrary/logic/connectives.ma diff | blob | history
helm/software/matita/nlibrary/sets/setoids.ma diff | blob | history
helm/software/matita/nlibrary/sets/setoids1.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.