]> matita.cs.unibo.it Git - helm.git/commit
the partial commit continues ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Sep 2012 16:09:37 +0000 (16:09 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 5 Sep 2012 16:09:37 +0000 (16:09 +0000)
commit039f4f6db3a3c128959cd471eb78f575906e07b6
tree7d60f109292cab79370cfee0e7756616e2e8c7e9
parenta634c95917dee0fca1d1cf77b6fb7491975128cc
the partial commit continues ...
matita/matita/contribs/lambda_delta/basic_2/grammar/lenv_append.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/cnf_cif.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/crf.ma
matita/matita/contribs/lambda_delta/basic_2/substitution/ldrop_append.ma
matita/matita/contribs/lambda_delta/basic_2/substitution/tps.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/ltpss_ltpss.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/tpss.ma