]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd7ae77) | patch
Last details.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 22 Nov 2005 09:05:54 +0000 (09:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 22 Nov 2005 09:05:54 +0000 (09:05 +0000)
commit95b46b9d1d914a41328bab8e543d336556714a74
tree0add7a6a32e3e05b3e822b6b854c7802c4c05de9tree | snapshot
parentfd7ae775b0f6c3bdd6343975ce2a859e8c3c5c94commit | diff
Last details.
helm/matita/library/list/sort.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.