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