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>
	Sat, 15 Jun 2019 13:19:59 +0000 (15:19 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Sat, 15 Jun 2019 13:19:59 +0000 (15:19 +0200)
commit	647b419e96770d90a82d7a9e5e8843566a9f93ee
tree	b7ace4e3b0518c8f0c27b424ff4e9e6929b26c53	tree \| snapshot
parent	f308429a0fde273605a2330efc63268b4ac36c99	commit \| diff

updating the structures for sorts

+ strict monotonicity is now an optional property
+ new optional properties: acyclicity and decidability
+ "next" now has a specific notation
+ refactored sort degree is now based on acyclicity and decidability

20 files changed:

matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_conf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_tdeq_conf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_ind.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpg_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpm_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/etc/sh_lt.etc		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/sd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/sd_d.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/sd_lt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/syntax/sh_lt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/syntax/sh_props.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