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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 14 Jun 2014 20:15:10 +0000 (20:15 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 14 Jun 2014 20:15:10 +0000 (20:15 +0000)
commit	ff7754f834f937bfe2384c7703cf63f552885395
tree	53f2a4236de2163fdb1e1346846a554df1d15969	tree \| snapshot
parent	4720368dcf18593959c6d21484f62fb5b61f3d26	commit \| diff

reorganization of the "static" component:
from now on we use the non-stratified version of the static type assignment,
as in basic_1

142 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/cpds.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpds_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpds_cpds.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpds_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/csx_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbu_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_cpds.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_lsstas.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_lstas.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/lsubsv_snv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_aaa.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_da_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lsstas.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lsstas_lpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lstas.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lstas_lpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_preserve.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/cpes.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/da/da.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/da/da_da.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/da/da_lift.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_cpcs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss/lsubss_etc.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_ssta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss2/lsubss.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss2/lsubss_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss2/lsubss_etc.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss2/lsubss_ldrop.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/lsubss2/lsubss_ssta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta/ssta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta/ssta_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta/ssta_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta/ssta_ssta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta/statictype_7.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/aaa_ssta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/cpds.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/cpds_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/cpds_cpds.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/cpds_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/cpes.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/cpx_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/cpxs_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/fpb_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/fpbg_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/fpbs_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/fpbu_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsstas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsstas_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsstas_alt.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsstas_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsstas_lsstas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsubsv_cpds.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsubsv_lsstas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/lsubsv_snv.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_cpcs.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_da_lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_lsstas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_lsstas_lpr.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/snv_preserve.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/ssta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/ssta_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/ssta_llpx_sn.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/ssta_ssta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/statictype_6.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/statictypestar_7.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta1/statictypestaralt_7.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta2/ssta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta2/ssta_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta2/ssta_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta2/ssta_ssta.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/ssta2/statictype_7.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/sstas/sstas.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sstas/sstas_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sstas/sstas_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sstas/sstas_sstas.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sstas2/sstas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/sstas2/sstas_aaa.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/sstas2/sstas_lift.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/sstas2/sstas_sstas.etc	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/etc/sta/sta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/sta_aaa.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/sta_lift.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/sta_sta.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/sta/statictype_5.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/statictype_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/statictype_6.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/statictypestar_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/statictypestar_7.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/statictypestaralt_6.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/statictypestaralt_7.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_da.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_ssta.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/da_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/da_sta.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/lsuba.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lsuba_ldrop.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_llpx_sn.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ssta_ssta.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/sta.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/sta_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/sta_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/sta_llpx_sn.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/static/sta_sta.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/unfold/lsstas.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lsstas_aaa.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lsstas_alt.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lsstas_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lsstas_lsstas.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/unfold/lstas.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/unfold/lstas_aaa.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/unfold/lstas_alt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/unfold/lstas_da.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/unfold/lstas_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/unfold/lstas_lstas.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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

RSS Atom