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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 7 Aug 2018 16:41:42 +0000 (18:41 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 7 Aug 2018 16:41:42 +0000 (18:41 +0200)
commit	d71e53021b0c17e1a00c2d623e7139c6d18069d5
tree	926a40856240d88bfacbad002a3621780508d4c9	tree \| snapshot
parent	f9abd21eb0d26cf9b632af4df819225be4d091e3	commit \| diff

commit in ground_2, static_2, basic_2, apps_2

+ first steps towards cnv_cpms_conf_aux
+ examples reconstructed
+ additions in the relocation library
+ addition in the arith library

18 files changed:

matita/matita/contribs/lambdadelta/apps_2/etc/examples/ex_sta_ldec.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/examples/ex_cnv_eta.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/examples/ex_fpbg_refl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/apps_2/examples/ex_snv_eta.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/examples/ex_sta_ldec.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_conf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_trans.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpms_conf.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_preserve_far.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predstar_7.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_fpbg.ma		diff \| blob \| history
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/lib/arith_2b.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/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts.ma		diff \| blob \| history

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

RSS Atom