Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README.md | 20122 | logplain |
-rw-r--r-- | proof-at-the-end.dtx | 49789 | logplain |
-rw-r--r-- | proof-at-the-end.ins | 961 | logplain |
-rw-r--r-- | proof-at-the-end.pdf | 248763 | logplain |
-rw-r--r-- | proof-at-the-end_demo.pdf | 116402 | logplain |
-rw-r--r-- | proof-at-the-end_demo.tex | 8959 | logplain |