]> matita.cs.unibo.it Git - helm.git/history - matita/matitamake.mli
Bug fixing. If the inductive types do not occur in t, t is
[helm.git] / matita / matitamake.mli
2006-02-06 Stefano Zacchiroliadded Matitamake interface