]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr.ma
component rt_transition completed!
[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / rt_transition / lfpr.ma
2017-03-16 Ferruccio Guidicomponent rt_transition completed!
2016-09-19 Ferruccio Guidisome improvements towards the confluence of lfpr ...
2016-09-15 Ferruccio Guididiamond property of reduction!
2016-09-14 Ferruccio Guidifirst results on lfpr as a base for the diamond propert...