]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 946be00) | patch
Minor changes.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 23 Nov 2006 13:45:53 +0000 (13:45 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 23 Nov 2006 13:45:53 +0000 (13:45 +0000)
commit544444b7fbb3882577f55b7dbd16046f39c52031
tree39b3c1cd0fc2ffdabdd79b504db7afbe099a8c5btree | snapshot
parent946be00a2b9e1713e934414bd8419f267cca1077commit | diff
Minor changes.
-This line, and those below, will be ignored--

M    library/nat/ord.ma
M    library/nat/gcd.ma
M    library/nat/factorization.ma
M    library/technicalities/setoids.ma
matita/library/nat/factorization.ma diff | blob | history
matita/library/nat/gcd.ma diff | blob | history
matita/library/nat/ord.ma diff | blob | history
matita/library/technicalities/setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.