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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 14 Oct 2019 10:07:33 +0000 (12:07 +0200)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 14 Oct 2019 10:07:33 +0000 (12:07 +0200)
commit	600fba840c748f67593838673a6eb40eab9b68e5
tree	8c0d2576daef9392c52fc445277f38b3366155b1	tree \| snapshot
parent	b4f76b0d8fa0e5365fb48e91474febe200b647a7	commit \| diff

backport of WIP on \lambda\delta to matita 0.99.3

auto tactic of matita 0.99.4 is broken
for now WIP on \lambda\delta continues on this branch

33 files changed:

helm/www/lambdadelta/images/bronze-03BB.png	[new file with mode: 0644]	blob
helm/www/lambdadelta/web/home/home.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/xslt/ld_web_root.xsl		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpce_etc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpt/cpt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpt/cpt_cpm.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/cpt/cpt_cpt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/rt_conversion/cpce_drops.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/cpt_cpm.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpt_fqu.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/steps/rtc_ist_plus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/static_2/relocation/lifts_lifts.ma		diff \| blob \| history
matita/matita/lib/basics/deqlist.ma	[new file with mode: 0644]	blob
matita/matita/lib/basics/finset.ma		diff \| blob \| history
matita/matita/lib/binding/db.ma	[deleted file]	blob \| history
matita/matita/lib/binding/fp.ma	[deleted file]	blob \| history
matita/matita/lib/binding/ln.ma	[deleted file]	blob \| history
matita/matita/lib/binding/ln_concrete.ma	[deleted file]	blob \| history
matita/matita/lib/binding/names.ma	[deleted file]	blob \| history
matita/matita/lib/didactic/natural_deduction.ma	[new file with mode: 0644]	blob
matita/matita/lib/reverse_complexity/almost.ma	[new file with mode: 0644]	blob
matita/matita/lib/reverse_complexity/basics.ma	[new file with mode: 0644]	blob
matita/matita/lib/reverse_complexity/bigops_compl.ma	[new file with mode: 0644]	blob
matita/matita/lib/reverse_complexity/complexity.ma	[new file with mode: 0644]	blob
matita/matita/lib/reverse_complexity/hierarchy.ma		diff \| blob \| history
matita/matita/lib/reverse_complexity/sigma_diseq.ma	[new file with mode: 0644]	blob
matita/matita/lib/reverse_complexity/speedup.ma	[new file with mode: 0644]	blob
matita/matita/lib/reverse_complexity/toolkit.ma		diff \| blob \| history
matita/matita/lib/turing/multi_to_mono/multi_to_mono.ma	[deleted file]	blob \| history

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

RSS Atom