]> matita.cs.unibo.it Git - helm.git/commit
components: subst0
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Feb 2015 21:33:26 +0000 (21:33 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Feb 2015 21:33:26 +0000 (21:33 +0000)
commit112d29685ee9dceff93cdf64867a1a8037a53842
tree3999a29b421fee83406cdad44ca1d7c80deb0d82
parent7b95759c5011a25f96d5171561ea79d063770db4
components: subst0
matita/matita/contribs/lambdadelta/basic_1/subst0/dec.ma
matita/matita/contribs/lambdadelta/basic_1/subst0/defs.ma
matita/matita/contribs/lambdadelta/basic_1/subst0/fwd.ma
matita/matita/contribs/lambdadelta/basic_1/subst0/props.ma
matita/matita/contribs/lambdadelta/basic_1/subst0/subst0.ma
matita/matita/contribs/lambdadelta/basic_1/subst0/tlt.ma