]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/inconsistent.ma
the decentralization of core notation continues ...
[helm.git] / matita / matita / lib / inconsistent.ma
2016-03-13 Ferruccio Guidi- new syntax for let rec/corec with flavor specifier...