]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a05d874) | patch
auto => auto new
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Oct 2006 13:12:44 +0000 (13:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Oct 2006 13:12:44 +0000 (13:12 +0000)
commit5b8cff10c1c13376ec0f36ecc72ed8c6524b0310
treeb74e1269cab86d817ff60427f7b8f8711ea13d37tree | snapshot
parenta05d8741ee9ec2484542f74a111043af207f70a3commit | diff
auto => auto new
helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/class_eq.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.