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