]> matita.cs.unibo.it Git - helm.git/commit
svn:ignores fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 21 Feb 2008 15:32:50 +0000 (15:32 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 21 Feb 2008 15:32:50 +0000 (15:32 +0000)
commit1a5e02c5d5048ee6ec7d207b77cd5c2c1bdb3dae
tree6d7fea6185f3ae12886c7a87447a25ec2bd18a80
parent5b8db2a058d6a86d7d87db190e6e00e444fe7a45
svn:ignores fixed
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/preamble.ma [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/Makefile
helm/software/matita/contribs/LAMBDA-TYPES/depends