]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/ground/relocation/pr_isi_pat.ma
partial update in static_2
[helm.git] / matita / matita / contribs / lambdadelta / ground / relocation / pr_isi_pat.ma
2021-10-28 Ferruccio Guidipartial update in static_2
2021-10-04 Ferruccio Guidiupdate in ground