]> matita.cs.unibo.it Git - helm.git/commit
some corrections ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 27 Jan 2014 22:06:00 +0000 (22:06 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 27 Jan 2014 22:06:00 +0000 (22:06 +0000)
commit0733a61e7b3a0f6173b403e3bfc2257b725b44f2
tree84ad784851835714cde067200f4403e9c2bd85bb
parent58ee2c0f9c6f6b1f2db58509d6d971d62cfd962a
some corrections ...
12 files changed:
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_cpys.ma
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_lleq.ma
matita/matita/contribs/lambdadelta/basic_2/computation/csx_tstc_vector.ma
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_lleq.ma
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_csx.ma
matita/matita/contribs/lambdadelta/basic_2/reduction/cnx.ma
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lleq.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/cpy.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/cpy_cpy.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/cpy_lift.ma
matita/matita/contribs/lambdadelta/basic_2/relocation/lift_lift.ma
matita/matita/predefined_virtuals.ml