]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8404e0) | patch
Committing all the recent development of Andrea after the merge between his
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Jul 2005 09:45:13 +0000 (09:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Jul 2005 09:45:13 +0000 (09:45 +0000)
commit7bbce6bc163892cfd99cfcda65db42001b86789f
treec2ce8896dca127f276ba715aa926b57c6d76fe90tree | snapshot
parentf8404e07a6b8649e85bf7a4f812a382cd3a37fcacommit | diff
Committing all the recent development of Andrea after the merge between his
commits and my recent commits (that added notation here and there).
helm/matita/library/Z/times.ma diff | blob | history
helm/matita/library/Z/z.ma diff | blob | history
helm/matita/library/nat/compare.ma diff | blob | history
helm/matita/library/nat/div_and_mod.ma diff | blob | history
helm/matita/library/nat/exp.ma [new file with mode: 0644] blob
helm/matita/library/nat/le_arith.ma [new file with mode: 0644] blob
helm/matita/library/nat/lt_arith.ma [new file with mode: 0644] blob
helm/matita/library/nat/minus.ma diff | blob | history
helm/matita/library/nat/orders.ma diff | blob | history
helm/matita/library/nat/times.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.