]> matita.cs.unibo.it Git - helm.git/commit
Restructuring.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 10 Dec 2007 10:11:13 +0000 (10:11 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 10 Dec 2007 10:11:13 +0000 (10:11 +0000)
commit5e50ef5a9b00a18778c0eb728f7fc909c0b0f729
treebc1ca15bb8daf8eb7fcb70cedb33715d64146a54
parent1f214ad28b490ed66602eb2d80359c01ba55ee05
Restructuring.
helm/software/matita/library/nat/div_and_mod_diseq.ma
helm/software/matita/library/nat/generic_iter_p.ma
helm/software/matita/library/nat/iteration2.ma
helm/software/matita/library/nat/lt_arith.ma
helm/software/matita/library/nat/neper.ma