| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| README | 734 | 07-Jul-2005 12:57 |
| README.plainTeX | 1418 | 29-Jun-2005 12:28 |
| config.esint | 14 | 07-Jul-2005 12:57 |
| esint.map | 31 | 07-Jul-2005 12:57 |
| esint.tex | 3280 | 21-Jun-2005 19:42 |
| esint10.pfb | 34K | 07-Jul-2005 12:57 |
| table.pdf | 42K | 21-Jun-2005 19:37 |
| table.tex | 2005 | 21-Jun-2005 19:32 |