]> matita.cs.unibo.it Git - helm.git/commit
le_arith
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 27 Jan 2010 10:29:07 +0000 (10:29 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 27 Jan 2010 10:29:07 +0000 (10:29 +0000)
commita581a54f6118908a21ed3f960c70a0a2c863ca89
tree90e25770db1122f29bd93050b06b653282e4e192
parent42e022596d00f85eebb19b8f7c9029273ad15db1
le_arith
helm/software/matita/nlibrary/arithmetics/nat.ma