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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: f5c6d4c) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 5 Oct 2013 18:16:21 +0000 (18:16 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 5 Oct 2013 18:16:21 +0000 (18:16 +0000)
commit	f5cd5870668ed096f6d93b005e2acd3bd555f3b0
tree	54e7b0e05cca52523342ccd7d0ab05149c61204c	tree \| snapshot
parent	f5c6d4c41cbbdabdf998be0c4a8242849a790f1b	commit \| diff

final na,e for big-tree rediction and computation

18 files changed:

matita/matita/contribs/lambdadelta/basic_2/computation/fpbs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_fpbs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/ygt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/ygt_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/ygt_ygt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/yprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/yprs_lift.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/yprs_yprs.ma	[deleted file]	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_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lsstas_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/names.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/fpb.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/reduction/ypr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/ysc.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history

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