Files
| Name | Date | Size |
|---|---|---|
| page100scale5.html | 12.06.2002 | 1448 Byte |
| page101.dvi | 12.06.2002 | 4454 Byte |
| page101scale1.html | 12.06.2002 | 1454 Byte |
| page101scale2.html | 12.06.2002 | 1453 Byte |
| page101scale3.html | 12.06.2002 | 1451 Byte |
| page101scale4.html | 12.06.2002 | 1438 Byte |
| page101scale5.html | 12.06.2002 | 1450 Byte |
| page102.dvi | 12.06.2002 | 4140 Byte |
| page102scale1.html | 12.06.2002 | 1454 Byte |
| page102scale2.html | 12.06.2002 | 1453 Byte |