]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 826883e) | patch
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
tree61c15e5cdd84975feb3757d716b16358adb14612tree | snapshot
parent826883e023c178930ca3dd69567eac23f15ef9c4commit | diff
boolean arithmetics
helm/software/matita/nlibrary/arithmetics/nat.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.