Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README | 331 | logplain |
-rw-r--r-- | duplicat-doc.pdf | 165933 | logplain |
-rw-r--r-- | duplicat-doc.tex | 1219 | logplain |
-rw-r--r-- | newproof-doc.pdf | 181583 | logplain |
-rw-r--r-- | newproof-doc.tex | 2739 | logplain |
-rw-r--r-- | onepagem-doc.pdf | 185063 | logplain |
-rw-r--r-- | onepagem-doc.tex | 1069 | logplain |
-rw-r--r-- | time-doc.pdf | 195138 | logplain |
-rw-r--r-- | time-doc.tex | 985 | logplain |