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: 6ac78e9) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 18 Mar 2013 19:10:19 +0000 (19:10 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 18 Mar 2013 19:10:19 +0000 (19:10 +0000)
commit	520d60c708a792bb77f8e290f35ec51f7dbfa29a
tree	846b73bc8414ee4bae18136bb0303bf219c4ad70	tree \| snapshot
parent	6ac78e984f3ddee01251ef0ce13a692f062d7d5f	commit \| diff

- more understanding of the "big tree" reduction step

matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ltpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ssta_ltpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/etc/ygt/zgt.ma	[new file with mode: 0644]	blob

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