Files
| Name | Date | Size |
|---|---|---|
| page154scale1.html | 12.06.2002 | 1454 Byte |
| page154scale2.html | 12.06.2002 | 1453 Byte |
| page154scale3.html | 12.06.2002 | 1451 Byte |
| page154scale4.html | 12.06.2002 | 1438 Byte |
| page154scale5.html | 12.06.2002 | 1450 Byte |
| page155.dvi | 12.06.2002 | 4793 Byte |
| page155scale1.html | 12.06.2002 | 1454 Byte |
| page155scale2.html | 12.06.2002 | 1453 Byte |
| page155scale3.html | 12.06.2002 | 1451 Byte |
| page155scale4.html | 12.06.2002 | 1438 Byte |