]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7ffbfc) | patch
Some arithmetics.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 22 Nov 2010 07:44:58 +0000 (07:44 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 22 Nov 2010 07:44:58 +0000 (07:44 +0000)
commit16a95f57b09ae92ea24ab2addd02c1d0be80f109
tree68ade7428acdd21ab1e517bf73aec53d2d510111tree | snapshot
parentc7ffbfc25d1de732804e3f1384cbb2a61305bb30commit | diff
Some arithmetics.
matita/matita/lib/arithmetics/bigops.ma [new file with mode: 0644] blob
matita/matita/lib/arithmetics/div_and_mod.ma [new file with mode: 0644] blob
matita/matita/lib/arithmetics/minimization.ma [new file with mode: 0644] blob
matita/matita/lib/arithmetics/nat.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.