../ code/ 26-Feb-2024 16:07 - doc/ 26-Feb-2024 16:07 - DEPENDS.txt 26-Feb-2024 16:07 12 LICENSE 26-Feb-2024 16:07 19K README.md 26-Feb-2024 16:07 896 create-theorem-doc.pdf 20-Feb-2024 17:40 86K create-theorem-doc.tex 20-Feb-2024 17:40 37K create-theorem.sty 20-Feb-2024 17:40 119K