Files
| Name | Date | Size |
|---|---|---|
| page16.dvi | 12.06.2002 | 3798 Byte |
| page160.dvi | 12.06.2002 | 3813 Byte |
| page160scale1.html | 12.06.2002 | 1454 Byte |
| page160scale2.html | 12.06.2002 | 1453 Byte |
| page160scale3.html | 12.06.2002 | 1451 Byte |
| page160scale4.html | 12.06.2002 | 1438 Byte |
| page160scale5.html | 12.06.2002 | 1450 Byte |
| page161.dvi | 12.06.2002 | 2029 Byte |
| page161scale1.html | 12.06.2002 | 1454 Byte |
| page161scale2.html | 12.06.2002 | 1452 Byte |