]> matita.cs.unibo.it Git - helm.git/commit
components: sc3, csubc
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 5 Mar 2015 13:37:08 +0000 (13:37 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 5 Mar 2015 13:37:08 +0000 (13:37 +0000)
commit57e01777627e779555dc091a58ec2f4f860ee51f
treee8e71804e43667f798e6281d6eebf6756a4be314
parent049d55c73d1746e15a40e89b17fd88b62f002d93
components: sc3, csubc
12 files changed:
matita/matita/contribs/lambdadelta/basic_1/csubc/arity.ma
matita/matita/contribs/lambdadelta/basic_1/csubc/clear.ma
matita/matita/contribs/lambdadelta/basic_1/csubc/csuba.ma
matita/matita/contribs/lambdadelta/basic_1/csubc/defs.ma
matita/matita/contribs/lambdadelta/basic_1/csubc/drop.ma
matita/matita/contribs/lambdadelta/basic_1/csubc/drop1.ma
matita/matita/contribs/lambdadelta/basic_1/csubc/fwd.ma
matita/matita/contribs/lambdadelta/basic_1/csubc/getl.ma
matita/matita/contribs/lambdadelta/basic_1/csubc/props.ma
matita/matita/contribs/lambdadelta/basic_1/sc3/arity.ma
matita/matita/contribs/lambdadelta/basic_1/sc3/defs.ma
matita/matita/contribs/lambdadelta/basic_1/sc3/props.ma