]> matita.cs.unibo.it Git - helm.git/commit
components cnt drop
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 8 Feb 2015 16:05:41 +0000 (16:05 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 8 Feb 2015 16:05:41 +0000 (16:05 +0000)
commit8c62eb7de90e3c9a3a960fb0b3845bc561dddb75
tree51a884f2be45290ae09b83baa7e3316024ab8f21
parent24b593925bae7964bdc61e28408d389e5a74bd7a
components cnt drop
matita/matita/contribs/lambdadelta/basic_1/cnt/defs.ma
matita/matita/contribs/lambdadelta/basic_1/cnt/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1/cnt/props.ma
matita/matita/contribs/lambdadelta/basic_1/drop/defs.ma
matita/matita/contribs/lambdadelta/basic_1/drop/fwd.ma
matita/matita/contribs/lambdadelta/basic_1/drop/props.ma