Files
| Name | Date | Size |
|---|---|---|
| page42scale2.html | 12.06.2002 | 1444 Byte |
| page42scale1.html | 12.06.2002 | 1445 Byte |
| page42.dvi | 12.06.2002 | 4703 Byte |
| page41scale5.html | 12.06.2002 | 1441 Byte |
| page41scale4.html | 12.06.2002 | 1429 Byte |
| page41scale3.html | 12.06.2002 | 1442 Byte |
| page41scale2.html | 12.06.2002 | 1444 Byte |
| page41scale1.html | 12.06.2002 | 1445 Byte |
| page41.dvi | 12.06.2002 | 4973 Byte |
| page40scale5.html | 12.06.2002 | 1441 Byte |