Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | aliasctr.dtx | 4459 | logplain |
-rw-r--r-- | thm-autoref.dtx | 3107 | logplain |
-rw-r--r-- | thm-kv.dtx | 3662 | logplain |
-rw-r--r-- | thm-listof.dtx | 3391 | logplain |
-rw-r--r-- | thm-patch.dtx | 5062 | logplain |
-rw-r--r-- | thm-restate.dtx | 6093 | logplain |
-rw-r--r-- | thmtools.ins | 1521 | logplain |
-rw-r--r-- | unique.dtx | 6496 | logplain |