Files
| Name | Date | Size |
|---|---|---|
| page134scale3.html | 12.06.2002 | 1451 Byte |
| page134scale4.html | 12.06.2002 | 1438 Byte |
| page134scale5.html | 12.06.2002 | 1450 Byte |
| page135.dvi | 12.06.2002 | 3606 Byte |
| page135scale1.html | 12.06.2002 | 1454 Byte |
| page135scale2.html | 12.06.2002 | 1453 Byte |
| page135scale3.html | 12.06.2002 | 1451 Byte |
| page135scale4.html | 12.06.2002 | 1438 Byte |
| page135scale5.html | 12.06.2002 | 1450 Byte |
| page136.dvi | 12.06.2002 | 3687 Byte |