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: 825e99e) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 15 Sep 2011 21:43:51 +0000 (21:43 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 15 Sep 2011 21:43:51 +0000 (21:43 +0000)
commit	64306edf6d64730ab9aa6648ad11d9dfa68775d9
tree	aa4ffb4fda0304761386bed174c49683c1ddcc6e	tree \| snapshot
parent	825e99e07fb3a98e114e7841ddbaf4f0d50f351e	commit \| diff

unfold on terms completed!

matita/matita/contribs/lambda-delta/Basic-2/substitution/tps.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps_lift.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/unfold/tpss.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Basic-2/unfold/tpss_lift.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda-delta/Basic-2/unfold/tpss_tpss.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambda-delta/Ground-2/star.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Ground-2/xoa.conf.xml		diff \| blob \| history
matita/matita/contribs/lambda-delta/Ground-2/xoa.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/Ground-2/xoa_notation.ma		diff \| blob \| history
matita/matita/contribs/lambda-delta/replace.sh	[new file with mode: 0644]	blob

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