Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | DEPENDS.txt | 12 | logplain |
-rw-r--r-- | LICENSE | 19106 | logplain |
-rw-r--r-- | README.md | 693 | logplain |
-rw-r--r-- | create-theorem-doc.pdf | 88000 | logplain |
-rw-r--r-- | create-theorem-doc.tex | 37293 | logplain |
-rw-r--r-- | create-theorem.sty | 121578 | logplain |