156 is done (after 31.8 hours), starting 158. 160 is still running. > >>
31.8 hours ! Gosh ! And set.mm has been divided into 60 parts ! -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/5396a656-8abb-43d7-9919-776558735411%40googlegroups.com.
