]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/static_2/syntax/tweq_tdeq.ma
update in static_2
[helm.git] / matita / matita / contribs / lambdadelta / static_2 / syntax / tweq_tdeq.ma
2019-09-03 Ferruccio Guidimilestone in basic_2