]> matita.cs.unibo.it Git - helm.git/commit
Re-proved an axiom
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 23 Mar 2010 15:52:29 +0000 (15:52 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 23 Mar 2010 15:52:29 +0000 (15:52 +0000)
commit0a5e353bdadc4194e8becc7b960088ed4dbf68c1
tree2766cfe0612fc23cc869f1a29a42a56534b34c72
parentadc7a41ccbed2f36778c662d8a2ce06e192fb555
Re-proved an axiom

From: asperti <asperti@c2b2084f-9a08-0410-b176-e24b037a169a>
helm/software/matita/nlibrary/arithmetics/nat.ma