../ DEPENDS.txt 11-Aug-2022 19:07 12 LICENSE 11-Aug-2022 19:07 19106 README.md 11-Aug-2022 19:07 676 create-theorem-doc.pdf 11-Aug-2022 19:07 84332 create-theorem-doc.tex 11-Aug-2022 19:07 34279 create-theorem.sty 11-Aug-2022 19:07 100673