]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpr.ma
update in basic_2
[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / rt_transition / lfpr.ma
2018-04-27 Ferruccio Guidiupdate in basic_2
2018-04-20 Ferruccio Guidinotational update in ground_2 and basic_2
2017-10-25 Ferruccio Guidi- exclusion binder in local environments
2017-04-14 Ferruccio Guidi- lfpxs based on tc_lfxs
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...