]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6423f1b) | patch
New contrib moebius.ma.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 16 Mar 2007 08:05:44 +0000 (08:05 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 16 Mar 2007 08:05:44 +0000 (08:05 +0000)
commit0ec069491a2e870c95e095e15d8c54c76a17bc80
tree0422d10594127447ca2da652ab167f46ef4e5dfbtree | snapshot
parent6423f1b6e3056883016598e454c55cab1004dfd2commit | diff
New contrib moebius.ma.
helm/software/matita/library/Z/moebius.ma [new file with mode: 0644] blob
helm/software/matita/library/Z/sigma_p.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.