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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 6 Mar 2017 22:20:11 +0000 (22:20 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 6 Mar 2017 22:20:11 +0000 (22:20 +0000)
commit	10b733131aa2667d8ba4318d517f0ba3cf137359
tree	1b69e2f4d7eb4682be0620a28df61aede2f3c1cd	tree \| snapshot
parent	06531086fc492d0fd374ada30e116b56a5eff957	commit \| diff

- advances on lfxs for lfpxs
- ex_cpr_omega (2-steps loop)

30 files changed:

matita/matita/contribs/lambdadelta/apps_2/examples/ex_cpr_omega.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/examples/ex_fpbg_refl.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/examples/ex_snv_eta.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/examples/ex_sta_ldec.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/cpxs/cpxs.etc		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs/lfxs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs/lfxs_drops.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs/lfxs_fqup.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs/lfxs_length.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lfxs/lfxs_lfxs.etc		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/examples/ex_cpr_omega.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/examples/ex_fpbg_refl.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/examples/ex_snv_eta.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/examples/ex_sta_ldec.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/lfxss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/i_static/lfxss_etc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtysnstar_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relationstarstar_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tsts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_etc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_fqup.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_length.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lpxs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/partial.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/partial.txt		diff \| blob \| history

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

RSS Atom