| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| fnidx.idx | 0 | 21-Feb-1994 00:00 |
| moremath.ps | 31K | 08-Nov-1993 00:00 |
| pmmr.tfm | 1648 | 08-Nov-1993 00:00 |
| typeidx.idx | 0 | 21-Feb-1994 00:00 |
| vdm.sty | 43K | 08-Nov-1993 00:00 |
| vdm.tex | 50K | 08-Nov-1993 00:00 |
| vdmindex | 561 | 27-May-1992 00:00 |
| vdmindex.sty | 2980 | 27-May-1992 00:00 |