]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dcd7c1a) | patch
auto => auto new
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Oct 2006 13:10:08 +0000 (13:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Oct 2006 13:10:08 +0000 (13:10 +0000)
commit648f1521fa36f3c19cca3b3a29bbf3e8146eca4e
tree5eccefd5ddb426daa7838a963cd377ebd111d87atree | snapshot
parentdcd7c1a413c38bce8fc80198d660fd4dba4094e9commit | diff
auto => auto new
added depth=4 to some file in order to make it pass
matita/contribs/RELATIONAL/NLE/dec.ma diff | blob | history
matita/contribs/RELATIONAL/NLE/fwd.ma diff | blob | history
matita/contribs/RELATIONAL/NLE/props.ma diff | blob | history
matita/contribs/RELATIONAL/NPlus/fwd.ma diff | blob | history
matita/contribs/RELATIONAL/NPlus/props.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.