So I tried a little with trying to find candidates for deletion from the deprecated sections by finding theorems which weren't referenced and then finding new theorems to pair them up with. I managed to do 9 here <https://docs.google.com/spreadsheets/d/19Msa6Qib2oe1zA2QIDWKRjPQvq-08DlbuWVUADV4d04/edit?usp=sharing> .
I am finding this task pretty hard, finding things in the database is not so easy. I might be able to write a python script to help with the searching, not sure. -- 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/278bf89a-6f9d-489e-b282-28e291de69ad%40googlegroups.com.
