]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/etc_new/llpx_sn
- new component "s_transition" for the restored fqu and fquq
[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / etc_new / llpx_sn /
2016-03-10 Ferruccio Guidipartial commit in the relocation component to move...