Files
| Name | Date | Size |
|---|---|---|
| page18scale3.html | 12.06.2002 | 1442 Byte |
| page18scale2.html | 12.06.2002 | 1444 Byte |
| page18scale1.html | 12.06.2002 | 1445 Byte |
| page18.dvi | 12.06.2002 | 4009 Byte |
| page17scale5.html | 12.06.2002 | 1441 Byte |
| page17scale4.html | 12.06.2002 | 1429 Byte |
| page17scale3.html | 12.06.2002 | 1442 Byte |
| page17scale2.html | 12.06.2002 | 1444 Byte |
| page17scale1.html | 12.06.2002 | 1445 Byte |
| page17.dvi | 12.06.2002 | 4192 Byte |