]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: adc7a41) | patch
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
tree2766cfe0612fc23cc869f1a29a42a56534b34c72tree | snapshot
parentadc7a41ccbed2f36778c662d8a2ce06e192fb555commit | diff
Re-proved an axiom

From: asperti <asperti@c2b2084f-9a08-0410-b176-e24b037a169a>
helm/software/matita/nlibrary/arithmetics/nat.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.