]> matita.cs.unibo.it Git - helm.git/commit
/home/fguidi/... => ../../...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 25 Oct 2006 12:33:38 +0000 (12:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 25 Oct 2006 12:33:38 +0000 (12:33 +0000)
commite64274a7182f18fc2a47709ff33601218a42648f
tree6e8de4c9d3b6b88824c0d41ba086f5f31d91f31b
parent22cd9305796a779c5322a4a4c12e99643dbdcbec
/home/fguidi/... => ../../...
matita/contribs/LAMBDA-TYPES/Unified/makefile