| Name | Last Modified | Size | Type |
|---|---|---|---|
| Parent Directory/ | - | Directory | |
| labtex.mf | 1993-Feb-15 09:00:00 | 3.0K | text/plain |
| labtex.tex | 1993-Feb-15 09:00:00 | 4.9K | text/x-tex |
| xminus1.mf | 1993-Feb-15 09:00:00 | 1.3K | text/plain |
| xminus1.tex | 1993-Feb-15 09:00:00 | 0.5K | text/x-tex |