../ LICENSE 31-Mar-2024 23:44 19039 README.md 05-Jan-2025 00:21 7896 coloredtheorem-doc.pdf 05-Jan-2025 00:26 241196 coloredtheorem-doc.tex 05-Jan-2025 00:16 14227 coloredtheorem.sty 04-Jan-2025 00:57 3189