]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a04e55) | 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)
commita3eabd0f0dc4de2800c96e29b85ca9a4c06cce0c
tree77b84ee0f957166df7ed1488274decbb163c28detree | snapshot
parent8a04e55205d5573298a9c9df94e8234e11d8860acommit | 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
helm/software/matita/library/nat/factorization.ma diff | blob | history
helm/software/matita/library/nat/gcd.ma diff | blob | history
helm/software/matita/library/nat/ord.ma diff | blob | history
helm/software/matita/library/technicalities/setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.