matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 29 Jan 2014 18:55:32 +0000 (18:55 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 29 Jan 2014 18:55:32 +0000 (18:55 +0000)
commit	606dab57f31b66eb3f30f603185124b88dfad4c1
tree	3551db7c0b05928c7e0421b08e6db33fcc9267db	tree \| snapshot
parent	946abd88fa24966751555193b0fe0d52e50722f2	commit \| diff

bug fix in the notation of normal forms, now we specify that they are
normal forms for reduction. This will allow to enable normal forms for
substitution ...

39 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/cpre.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxe.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_cpys.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tstc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tstc_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_tstc_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/normal_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/normal_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/notreducible_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/notreducible_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/reducible_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/reducible_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cir.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cir_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cir_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cix.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cix_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cix_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnr_cir.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnr_crr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnx_cix.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnx_crx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cnx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpr_cir.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_cix.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crr_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crr_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crx_append.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/crx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom