]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd52068) | patch
Curryfication of binary morphisms.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Feb 2010 22:03:37 +0000 (22:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 3 Feb 2010 22:03:37 +0000 (22:03 +0000)
commitee83e268c87c75161da0e216d87e806effca7bb4
treef78218dbf3401cd4d645a8cd2ef51877343374d4tree | snapshot
parentfd52068e75c3ea1e67b2066ac9f7e2a862148a18commit | diff
Curryfication of binary morphisms.
helm/software/matita/nlibrary/sets/sets.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.