]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12f96bd) | patch
(no commit message)
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 19 Feb 2010 07:25:04 +0000 (07:25 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 19 Feb 2010 07:25:04 +0000 (07:25 +0000)
commit9cc54d0dfa73c0b7e2936d80fe9466269d81d9c4
tree204a118c67dfe2169c3d3e2bc238465c14eb258etree | snapshot
parent12f96bd48b460d06f9858a334ee7c52d6831712fcommit | diff
helm/software/matita/nlibrary/arithmetics/nat.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.