]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f57ed2) | patch
update in ground_2, static_2, basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 6 Jan 2020 17:13:12 +0000 (18:13 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 6 Jan 2020 17:13:12 +0000 (18:13 +0100)
commitd8d00d6f6694155be5be486a8239f5953efe28b7
tree2cd7a7bf0da48697bd1cc958ee960bf8112fa617tree | snapshot
parent3f57ed2589601e79478c85d74708d8ebdec2cf20commit | diff
update in ground_2, static_2, basic_2

+ xoa constructions decentralized in lambdadelta
+ inline: a tool for automatic decentralization of xoa constructions
+ minor bugs fixed
130 files changed:
helm/www/lambdadelta/bin/inline/Makefile [new file with mode: 0644] blob
helm/www/lambdadelta/bin/inline/inline.ml [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpm_teqx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_preserve.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/i_dynamic/ntas_preserve.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpms_cpms.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cprs_cprs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_cpxs.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/jsx.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/cpr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpt.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/ground_2/lib/arith.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/lib/logic.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/lib/relations.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/and_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/and_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_1_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_1_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_2_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_2_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_3_1.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_3_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_3_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_3_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_3_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_4_1.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_4_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_4_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_4_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_4_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_5_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_5_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_5_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_5_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_5_6.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_6.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_7.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_8.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_6_9.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_10.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_6.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_7.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_7_9.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_8_10.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_8_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/ex_8_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/notation.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/or_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/or_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/xoa/or_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_eq.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sor.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_max.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_plus.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_shift.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/xoa/and_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/and_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_1_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_1_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_2_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_2_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_3_1.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_3_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_3_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_3_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_3_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_4_1.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_4_1_props.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_4_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_4_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_4_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_4_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_5_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_5_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_5_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_5_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_5_6.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_6.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_7.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_8.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_6_9.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_10.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_6.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_7.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_7_9.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_8_10.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_8_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/ex_8_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/or_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/or_4.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/or_5.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/xoa/xoa.ma [deleted file] blob | history
matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_plus.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/relocation/drops.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/s_computation/fqus.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/s_transition/fqu.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/static/aaa.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/static/fsle.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/static/lsuba.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/static/lsubc.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/static/lsubf.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/static/lsubr.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/static/rex.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/syntax/append.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/syntax/lveq.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/syntax/teqo.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/syntax/teqx.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/syntax/term.ma diff | blob | history
matita/matita/contribs/lambdadelta/static_2/syntax/tweq.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.