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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 20 Apr 2018 18:50:47 +0000 (20:50 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 20 Apr 2018 18:50:47 +0000 (20:50 +0200)
commit	397413c4196f84c81d61ba7dd79b54ab1c428ebb
tree	f0de2eb6a62c40e92d6b590365a05be3201ba74d	tree \| snapshot
parent	24ba1bb3f67505d3e384747ff90d26d3996bd3f5	commit \| diff

notational update in ground_2 and basic_2

+ one addition in predefined_virtuals
+ works citing \lambda\delta updated on web site

120 files changed:

helm/www/lambdadelta/web/home/home.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/i_static/tc_lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/drops_lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lex.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_lexs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lexs_tc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lifts_lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/relocation/lreq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_theq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_theq_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_csx_vector.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lsubsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnx_drops.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/cpg_simple.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_drops.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/cpr_drops.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/basic_2/rt_transition/lfpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr_lfpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqup_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_computation/fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/s_transition/fqu.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/frees_frees.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/gcp_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/gcp_cr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfxs_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsubf.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/append_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/item_sd.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/item_sh.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/lveq_lveq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/term_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/list.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/list2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/streams_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/streams_hdtl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/lib/streams_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/successor_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/constructors/uparrow_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/downarrow_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/downspoon_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/downspoonstar_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/drop_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/drops_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/lift_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/liftstar_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/predecessor_1.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/successorstar_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/uparrowstar_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/updownarrowstar_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/upspoon_1.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/upspoonstar_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/relations/exteq_3.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/funexteq_2.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/ideq_2.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/notation/relations/ringeq_3.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_coafter.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_id.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_istot.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_after.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_at.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_coafter.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_eq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_fcla.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_id.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isdiv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isfin.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isid.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_istot.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isuni.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_nexts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_pushs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sand.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sdj.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sle.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sor.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_tl.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_tls.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_uni.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/web/ground_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_le.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_lt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_pred.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/ynat/ynat_succ.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/replace.sh		diff \| blob \| history
matita/matita/predefined_virtuals.ml		diff \| blob \| history

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

RSS Atom