]> matita.cs.unibo.it Git - helm.git/commit
renaming
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 12 Feb 2008 16:21:19 +0000 (16:21 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 12 Feb 2008 16:21:19 +0000 (16:21 +0000)
commit474586cb3917d3961bbf1e8b818b83073dc510f2
tree7c6bf1cb584935d5b399491571fd0e087def3cdb
parent6329f0f87906d3347c39d2ba2f5ec2b2124f17a2
renaming
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs2.mma
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/props2.mma
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/arith2.mma
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/tactics2.mma
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs2.mma
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/props2.mma
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/root
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/theory2.mma
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs2.mma
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/props2.mma