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>
	Wed, 20 Mar 2019 11:30:38 +0000 (12:30 +0100)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Wed, 20 Mar 2019 11:30:38 +0000 (12:30 +0100)
commit	a67fc50ccfda64377e2c94c18c3a0d9265f651db
tree	d866898f3cbd0ffacdca2ef60c4b492d7e147295	tree \| snapshot
parent	c450fdfb1b02eb69e5e7ef25f0acdf80157710df	commit \| diff

update in ground_2 static_2 basic_2

+ whd normal forms for terms with arity
+ positive abbreviations are not whd normal forms
+ minor additions

19 files changed:

matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtywhead_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtywhead_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_cwhx.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnx_basic.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr_drops_basic.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpr_tdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_drops_basic.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cwhx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cwhx_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cwhx_rdeq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_basic_after.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/rlift_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_basic.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/tdeq.ma		diff \| blob \| history
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