]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a64156) | patch
a bit faster
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 25 May 2012 07:12:54 +0000 (07:12 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 25 May 2012 07:12:54 +0000 (07:12 +0000)
commitbdc0a7a8c1de693a40f116742f5d2d3f3290c381
tree7196dfb1dd2e12a184b0fd928ec632b86768cd2btree | snapshot
parent5a641566011deca8c2894144fbbca3ac35ba915dcommit | diff
a bit faster
matita/matita/lib/arithmetics/nat.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.