]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e49deb) | patch
More work
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 25 Mar 2010 14:22:31 +0000 (14:22 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 25 Mar 2010 14:22:31 +0000 (14:22 +0000)
commitbbd6917343dc01d5c5ae7fd905e17d84abe8f212
treee73296c0412ab89f71d5b372d30b00c2908259cetree | snapshot
parent0e49deb1c20717b0a479f0bfc871c0732946ec79commit | diff
More work

From: asperti <asperti@c2b2084f-9a08-0410-b176-e24b037a169a>
helm/software/matita/nlibrary/arithmetics/R.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.