../ LICENSE 01-Apr-2024 07:44 19K README.md 11-Jan-2025 02:42 8063 coloredtheorem-doc.pdf 01-Apr-2025 08:53 235K coloredtheorem-doc.tex 11-Jan-2025 02:42 14K coloredtheorem.sty 01-Apr-2025 08:52 3314