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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 1 Aug 2018 18:47:17 +0000 (20:47 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 1 Aug 2018 18:47:17 +0000 (20:47 +0200)
commit	ede00573e3e4cb28df7ca9a5dae6228c2b432608
tree	e9ccb2913cb85a947a12599874ebc7580806ff22	tree \| snapshot
parent	1083ac3b1acac5f1ac1fa40a9a417dd9d268dced	commit \| diff

update in ground_2 and basic_2

+ cnv_cpm_conf_lpr_aux (rt-validity implies diamond property)
+ one addition in the arithmetics library

19 files changed:

matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_conf.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_trans.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_etc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_preserve_far.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_da_lpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lstas.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lstas_lpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_preserve.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_preserve.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_scpes.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/compile_partial.sh		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/partial.txt		diff \| blob \| history

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

RSS Atom