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: 04b536f) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 7 Oct 2013 20:53:32 +0000 (20:53 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 7 Oct 2013 20:53:32 +0000 (20:53 +0000)
commit	654f0003b43c7b58d2fec8a8cd7184c190f180c3
tree	df63b971537966ed8de27ffd18734926ed917a8a	tree \| snapshot
parent	04b536f1693534e450fde5dc824022321d93d039	commit \| diff

some improvements towards an alternative definition of fpbs ...

matita/matita/contribs/lambdadelta/basic_2/computation/fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/cpx_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/reduction/lpx_ldrop.ma		diff \| blob \| history

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