Files
| Name | Date | Size |
|---|---|---|
| page114scale5.html | 12.06.2002 | 1450 Byte |
| page115.dvi | 12.06.2002 | 3750 Byte |
| page115scale1.html | 12.06.2002 | 1454 Byte |
| page115scale2.html | 12.06.2002 | 1453 Byte |
| page115scale3.html | 12.06.2002 | 1451 Byte |
| page115scale4.html | 12.06.2002 | 1438 Byte |
| page115scale5.html | 12.06.2002 | 1450 Byte |
| page116.dvi | 12.06.2002 | 4538 Byte |
| page116scale1.html | 12.06.2002 | 1454 Byte |
| page116scale2.html | 12.06.2002 | 1453 Byte |