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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 2 Oct 2014 15:36:10 +0000 (15:36 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 2 Oct 2014 15:36:10 +0000 (15:36 +0000)
commit	106b25f0206beedc4e416d223accb1308ca7161b
tree	510237386f3abfe3bf25a7c359d8f8da1a9a7646	tree \| snapshot
parent	12fd764a3ab9df02fcea5403bdc50387bb648887	commit \| diff

- fpbg can be reflexive (example given)
- so fpbu may use short steps rather than long steps
- some refactoring

40 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/fpbc.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbc_fleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbc_fpbs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbg_fpbg.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.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_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_ext.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fpbc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fpbu.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbu.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbu_fleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbu_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbu_lleq.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fsb_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lpxs_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/lsx_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_scpes.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/examples/ex_cpr_omega.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/examples/ex_sta_ldec.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/multiple/lleq_lleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb.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/fpbc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/fpbc_fleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/fpbu.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/fpbu_fleq.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/fpbu_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/fpbu_lleq.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