]> matita.cs.unibo.it Git - helm.git/history - matita/matitaprover.mli
Bug fixing. If the inductive types do not occur in t, t is
[helm.git] / matita / matitaprover.mli
2006-07-24 Enrico Tassiadded timeout parameter to auto paramodulation.
2006-07-24 Enrico Tassimore work on matitaprover (no more XML and buris are...