]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f34d1d) | patch
More aliases.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Sep 2006 14:46:00 +0000 (14:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Sep 2006 14:46:00 +0000 (14:46 +0000)
commite9ffdf3ca123648c696ec331ba5ac031ca900480
tree732acd2087400eb56ecffcb2752c2875efb191ebtree | snapshot
parent8f34d1d64451220aba4de24cf322bdd826ff7248commit | diff
More aliases.
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/preamble.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.