]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d3186f4) | patch
End of curryfication of binary_morphisms.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Feb 2010 23:10:57 +0000 (23:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Feb 2010 23:10:57 +0000 (23:10 +0000)
commit60c92de1ace192d20b818bd71ec420d74e0176d2
tree9e89e04d9a632e279f832bb695be3adac1113925tree | snapshot
parentd3186f4cfe51f34b7aa828242c2fcc9b415568f2commit | diff
End of curryfication of binary_morphisms.
helm/software/matita/nlibrary/topology/cantor.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.