Files
| Name | Date | Size |
|---|---|---|
| page56scale2.html | 12.06.2002 | 1444 Byte |
| page56scale1.html | 12.06.2002 | 1445 Byte |
| page56.dvi | 12.06.2002 | 2840 Byte |
| page55scale5.html | 12.06.2002 | 1441 Byte |
| page55scale4.html | 12.06.2002 | 1429 Byte |
| page55scale3.html | 12.06.2002 | 1442 Byte |
| page55scale2.html | 12.06.2002 | 1444 Byte |
| page55scale1.html | 12.06.2002 | 1445 Byte |
| page55.dvi | 12.06.2002 | 3965 Byte |
| page54scale5.html | 12.06.2002 | 1441 Byte |