-Rocq/ALGEBRA/CATEGORY_THEORY: vecchio nucleo
-Sophia-Antipolis/Algebra: vecchio nucleo variabili
-lyon.ok: vecchio nucleo, variabili
+Sophia-Antipolis/Algebra: nuovo nucleo diverge
+ cic:/Sophia-Antipolis/Algebra/Sub_module/submodule_op.con
+Sophia-Antipolis/Buchberger: nuovo nucleo diverge
+ cic:/Sophia-Antipolis/Buchberger/BuchRed/redbuch_stable.con
+matita/freescale: nuovo nucleo molto piu' lento del vecchio?