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

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

author	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Tue, 3 Sep 2019 17:36:47 +0000 (19:36 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Tue, 3 Sep 2019 17:36:47 +0000 (19:36 +0200)
commit	c0d38a82464481e3c8fd68e4b00d7b9b448df462
tree	23e522fdfe314fa18bbb150f7e940839a7c4057c	tree \| snapshot
parent	0fea4ed429678c3293027cfe76fdbe15cfa331cb	commit \| diff

milestone in basic_2

We parametrize applicability condition with a generic subset of numbers.

22 files changed:

matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpme.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpmuwe.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpmuwe_cpme.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_eval.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cnuw.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cnuw_cnuw.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cnuw_tdeq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpme.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpmuwe_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpre_cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpre_cpre.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpre_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_tweq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_tweq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/term_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/tweq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/tweq_tdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/web/static_2_src.tbl		diff \| blob \| history

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

RSS Atom