]> matita.cs.unibo.it Git - helm.git/commit
boolean arithmetics
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 2 Feb 2010 07:46:03 +0000 (07:46 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 2 Feb 2010 07:46:03 +0000 (07:46 +0000)
commit71690ba2c49a618d36e5eafcc16726e1ba80f038
tree61c15e5cdd84975feb3757d716b16358adb14612
parent826883e023c178930ca3dd69567eac23f15ef9c4
boolean arithmetics
helm/software/matita/nlibrary/arithmetics/nat.ma