]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc1570d) | patch
Porting to new syntax.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Oct 2010 21:15:46 +0000 (21:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Oct 2010 21:15:46 +0000 (21:15 +0000)
commite63af7cac81040c1769855da41d0782c87701945
tree698ed1370d118a3deda35ae33a488131cc160eb1tree | snapshot
parentbc1570da87ab07a65158b8216cb484bad04f576ccommit | diff
Porting to new syntax.
matita/matita/nlibrary/Plogic/equality.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.