]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da83446) | patch
factorization.ma
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 14 Sep 2005 07:48:44 +0000 (07:48 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 14 Sep 2005 07:48:44 +0000 (07:48 +0000)
commit25e2e100e1ae3d4291246aeee38e3c61d51f47b2
tree0fd5c1fda26bba3e630ef618fea528bed4c89c7ftree | snapshot
parentda83446deba30fbe32b9bf617d83bd22cc9c9770commit | diff
factorization.ma
helm/matita/library/nat/factorization.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.