]> matita.cs.unibo.it Git - helm.git/history - benchmarks/log20060329_ripristinata_convertibilita_aggressiva
ordered set is over, much new stuff coming from a coreflexivee/cotransitive
[helm.git] / benchmarks / log20060329_ripristinata_convertibilita_aggressiva
2006-06-13 Stefano Zacchirolimoved benchmnarks/ dir outside of components/