Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README.md | 36241 | logplain |
-rw-r--r-- | proof-at-the-end.dtx | 86258 | logplain |
-rw-r--r-- | proof-at-the-end.ins | 961 | logplain |
-rw-r--r-- | proof-at-the-end.pdf | 329486 | logplain |
-rw-r--r-- | proof-at-the-end_demo.pdf | 133735 | logplain |
-rw-r--r-- | proof-at-the-end_demo.tex | 11561 | logplain |