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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 22 Feb 2013 21:47:07 +0000 (21:47 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Fri, 22 Feb 2013 21:47:07 +0000 (21:47 +0000)
commit	ac7479f9a292448d12761da4345d668d74b8d308
tree	1b67b5eda44743ad9ea52e5f2dc4cef68ea4aeaa	tree \| snapshot
parent	8910c1dc3fcc1da950d0c71f0f1a0150c5557520	commit \| diff

- "big tree" order implemented
- some annotations

21 files changed:

matita/matita/contribs/lambdadelta/basic_2/basic_1.txt		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/ygt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/computation/ygt_ygt.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_cpr.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_cpr_ssta.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_dxprs.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_fpr.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_fpr_ssta.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_fprs.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/equivalence/fpcs_cpcs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/csup/ypr.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/csup/yprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/csup/yprs_csups.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/csup/yprs_xprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/csup/yprs_yprs.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/csup/ysteps.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/csup/ysteps_csups.etc	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_weight.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reducibility/ysc.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/substitution/lift.ma		diff \| blob \| history

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

RSS Atom