Sophia-Antipolis/geometry: vecchio nucleo troppo lento
Rocq/ALGEBRA/CATEGORY_THEORY: vecchio nucleo troppo lento
-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
+## = diventato addirittura velocissimo dopo universi + proof irrelevance + altezze
+##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?
lannion: nuovo nucleo impredicative set