]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87136b9) | patch
A new theorem
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 6 Jun 2008 10:35:16 +0000 (10:35 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 6 Jun 2008 10:35:16 +0000 (10:35 +0000)
commit7ee82ad8d5f0b78674694826d2a0bb16508b3da4
treec39350399c296e20eab20f7c4728d13343e7b1aftree | snapshot
parent87136b9b874b75fc12df2608edd092a30a9728ffcommit | diff
A new theorem
helm/software/matita/library/nat/minimization.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.