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 | 84332 | logplain |
-rw-r--r-- | create-theorem-doc.tex | 34279 | logplain |
-rw-r--r-- | create-theorem.sty | 100673 | logplain |