Files
| Name | Date | Size |
|---|---|---|
| page132scale5.html | 12.06.2002 | 1450 Byte |
| page133.dvi | 12.06.2002 | 935 Byte |
| page133scale1.html | 12.06.2002 | 1454 Byte |
| page133scale2.html | 12.06.2002 | 1453 Byte |
| page133scale3.html | 12.06.2002 | 1451 Byte |
| page133scale4.html | 12.06.2002 | 1438 Byte |
| page133scale5.html | 12.06.2002 | 1450 Byte |
| page134.dvi | 12.06.2002 | 5,1 KB |
| page134scale1.html | 12.06.2002 | 1454 Byte |
| page134scale2.html | 12.06.2002 | 1453 Byte |