]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambdadelta/basic_2/computation/fpbs_alt.ma
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04b536f) | patch
some improvements towards an alternative definition of fpbs ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 7 Oct 2013 20:53:32 +0000 (20:53 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 7 Oct 2013 20:53:32 +0000 (20:53 +0000)
commit654f0003b43c7b58d2fec8a8cd7184c190f180c3
treedf63b971537966ed8de27ffd18734926ed917a8atree | snapshot
parent04b536f1693534e450fde5dc824022321d93d039commit | 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.