]> matita.cs.unibo.it Git - helm.git/commit
plist added
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 6 Sep 2006 12:24:51 +0000 (12:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 6 Sep 2006 12:24:51 +0000 (12:24 +0000)
commit65a9c286a765dd984bee251399b0d1e86d4db34c
tree3f446ebfe7d54968592af60ff7d6250fc4be293f
parent4390ae76efcc9b435e7d0a1ec3aa6f266209e292
plist added
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/plist.ma [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/preamble.ma [deleted file]