]> 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)
commit205276c80f0c39fe46bf2b9b7811b3343eb5c0d5
tree75e6f0fa7236c1388b90bc918ff448f0327ce10a
parentb1221a75b73711a6de7880e4b14b1fee52fdd576
plist added
matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/plist.ma [new file with mode: 0644]
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs.ma
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs.ma
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/preamble.ma [deleted file]