Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | DEPENDS.txt | 12 | logplain |
-rw-r--r-- | LICENSE | 19106 | logplain |
-rw-r--r-- | README.md | 676 | logplain |
-rw-r--r-- | create-theorem-doc.pdf | 125733 | logplain |
-rw-r--r-- | create-theorem-doc.tex | 25606 | logplain |
-rw-r--r-- | create-theorem.sty | 94017 | logplain |