]> matita.cs.unibo.it Git - helm.git/commit
component: pr3
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 25 Feb 2015 21:00:08 +0000 (21:00 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 25 Feb 2015 21:00:08 +0000 (21:00 +0000)
commitae22633ad934bba5fb32143f1726cdfbd255b899
tree684fbd94ddc7d45f4f69f0584515a82bc7ea0236
parent40e0eed5dc1a5f56f089f491841a5077723b891a
component: pr3
matita/matita/contribs/lambdadelta/basic_1/pr3/defs.ma
matita/matita/contribs/lambdadelta/basic_1/pr3/fwd.ma
matita/matita/contribs/lambdadelta/basic_1/pr3/iso.ma
matita/matita/contribs/lambdadelta/basic_1/pr3/pr1.ma
matita/matita/contribs/lambdadelta/basic_1/pr3/pr3.ma
matita/matita/contribs/lambdadelta/basic_1/pr3/props.ma
matita/matita/contribs/lambdadelta/basic_1/pr3/subst1.ma
matita/matita/contribs/lambdadelta/basic_1/pr3/wcpr0.ma