]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc1e25e) | patch
new version of div_and_mod
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 13 Mar 2007 10:53:33 +0000 (10:53 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 13 Mar 2007 10:53:33 +0000 (10:53 +0000)
commit4421f312e9614e608d0ddf6fa029c761f87ceb45
treeb863a8e46f35fce662dad17142f1345f3b1c3ec8tree | snapshot
parentfc1e25e37ba7deb07572f0cdb63aef02f0468dcbcommit | diff
new version of div_and_mod
helm/software/matita/library/nat/div_and_mod_new.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.