]> matita.cs.unibo.it Git - helm.git/commit
components: subst csubv
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 11 Feb 2015 19:09:00 +0000 (19:09 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 11 Feb 2015 19:09:00 +0000 (19:09 +0000)
commit3cfed03c2025e778a5e62d9549b674dbfc6453bd
treedb5023392dec7a4a759e461c569c0f772740beba
parent112d29685ee9dceff93cdf64867a1a8037a53842
components: subst csubv
matita/matita/contribs/lambdadelta/basic_1/csubv/clear.ma
matita/matita/contribs/lambdadelta/basic_1/csubv/defs.ma
matita/matita/contribs/lambdadelta/basic_1/csubv/drop.ma
matita/matita/contribs/lambdadelta/basic_1/csubv/fwd.ma [new file with mode: 0644]
matita/matita/contribs/lambdadelta/basic_1/csubv/getl.ma
matita/matita/contribs/lambdadelta/basic_1/csubv/props.ma
matita/matita/contribs/lambdadelta/basic_1/subst/defs.ma
matita/matita/contribs/lambdadelta/basic_1/subst/fwd.ma [deleted file]
matita/matita/contribs/lambdadelta/basic_1/subst/props.ma