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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 16 Mar 2013 22:24:19 +0000 (22:24 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 16 Mar 2013 22:24:19 +0000 (22:24 +0000)
commit	8ff4315142253a1a0478b67c07dddf70c36f50cd
tree	e14246689ffa7b5e1ef68ca88862aaa6e5d4bf38	tree \| snapshot
parent	7abd5e0412171f7d07e085d334198c034895c2c3	commit \| diff

- lambdadelta: last recursive part of preservation finally proved!
some notational changes
- BTM: one file was missing
- probe: now sources and objects not having a .ma file are deleted

48 files changed:

matita/components/binaries/probe/engine.ml		diff \| blob \| history
matita/components/binaries/probe/matitaList.ml		diff \| blob \| history
matita/components/binaries/probe/matitaRemove.ml	[new file with mode: 0644]	blob
matita/components/binaries/probe/matitaRemove.mli	[new file with mode: 0644]	blob
matita/components/binaries/probe/options.ml		diff \| blob \| history
matita/components/binaries/probe/options.mli		diff \| blob \| history
matita/components/binaries/probe/probe.ml		diff \| blob \| history
matita/matita/contribs/BTM/web/BTM.ldw.xml	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs_dxprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/dxprs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_dxprs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_ssta.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ltpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ssta_ltpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_sstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/ypr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/ysc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lsubse.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lsubse_cpcs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lsubse_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lsubse_ssta.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/lsubss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/equivalence/lsubss_cpcs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/equivalence/lsubss_ldrop.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/equivalence/lsubss_ssta.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss/dxprs_lsubss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss/lsubss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss/lsubss_ldrop.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss/lsubss_lsubss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss/lsubss_ssta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss/sstas_lsubss.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_ltpss_dx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_ltpss_sn.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_ssta.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unwind/sstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unwind/sstas_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/unwind/sstas_sstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/ground_2/xoa.conf.xml		diff \| blob \| history

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

RSS Atom