Files
| Name | Date | Size |
|---|---|---|
| page12scale4.html | 12.06.2002 | 1429 Byte |
| page12scale5.html | 12.06.2002 | 1441 Byte |
| page13.dvi | 12.06.2002 | 4768 Byte |
| page130.dvi | 12.06.2002 | 853 Byte |
| page130scale1.html | 12.06.2002 | 1454 Byte |
| page130scale2.html | 12.06.2002 | 1453 Byte |
| page130scale3.html | 12.06.2002 | 1451 Byte |
| page130scale4.html | 12.06.2002 | 1438 Byte |
| page130scale5.html | 12.06.2002 | 1450 Byte |
| page131.dvi | 12.06.2002 | 5,1 KB |