]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e95f5d7) | 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)
commit56da8e05a8c19025fc4c1748fbc0aa204f99235d
tree5942d78f0d311142c1633e1e6906de4dc2a31459tree | snapshot
parente95f5d784fe7830fe9ed10b3e782ef2206fea896commit | diff
New contrib moebius.ma.
matita/library/Z/moebius.ma [new file with mode: 0644] blob
matita/library/Z/sigma_p.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.