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>
	Thu, 27 Sep 2018 18:00:57 +0000 (20:00 +0200)
committer	Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
	Thu, 27 Sep 2018 18:00:57 +0000 (20:00 +0200)
commit	5c92c318030a05c766b3f6070dbd23589cbdee04
tree	f66f89143e86d21eec203fe2981eb64d12673eae	tree \| snapshot
parent	e9b09b14538f770b9e65083c24e3e9cf487df648	commit \| diff

update in basic_2 and static_2

+ first results on type assignment
+ more notation for validity
+ eta-conversion defined (for use in linking the notions of validity)

27 files changed:

matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_tdeq_trans.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_preserve.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_cpcs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_cpms.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_drops.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_preserve.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/notation/notation.etc		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/nta/nta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc_2A1/nta/nta_nta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/colon_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/colon_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/colonstar_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/exclaim_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/exclaimstar_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs.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_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/notation/relations/pconveta_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/static_2/static/cpce.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