]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 648f152) | 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)
commit03f843e53f48f6bc363656060a31bb29c4e0be38
tree05b346266d0ebea3a9ec37bfec5bd92bca41a13etree | snapshot
parent648f1521fa36f3c19cca3b3a29bbf3e8146eca4ecommit | diff
auto => auto new
matita/contribs/PREDICATIVE-TOPOLOGY/class_eq.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.