Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
node9.html 20-Oct-2000 20:54 1.6K
node8.html 20-Oct-2000 20:54 4.0K
node7.html 20-Oct-2000 20:54 1.7K
node6.html 20-Oct-2000 20:54 5.5K
node5.html 20-Oct-2000 20:54 2.5K
node4.html 20-Oct-2000 20:54 3.6K
node3.html 20-Oct-2000 20:54 3.0K
node2.html 20-Oct-2000 20:54 2.6K
node1.html 20-Oct-2000 20:54 1.5K
![[ ]](/icons/p.gif){kind=icon}
labels.pl 20-Oct-2000 20:54 233
![[IMG]](/icons/image2.gif){kind=icon}
img36.gif 20-Oct-2000 20:54 105
img35.gif 20-Oct-2000 20:54 127
img34.gif 20-Oct-2000 20:54 127
img9.gif 20-Oct-2000 20:54 53
img8.gif 20-Oct-2000 20:54 531
img7.gif 20-Oct-2000 20:54 140
img6.gif 20-Oct-2000 20:54 110
img5.gif 20-Oct-2000 20:54 111
img4.gif 20-Oct-2000 20:54 215
img33.gif 20-Oct-2000 20:54 103
img32.gif 20-Oct-2000 20:54 91
img31.gif 20-Oct-2000 20:54 81
img30.gif 20-Oct-2000 20:54 108
img29.gif 20-Oct-2000 20:54 126
img28.gif 20-Oct-2000 20:54 4.3K
img27.gif 20-Oct-2000 20:54 66
img26.gif 20-Oct-2000 20:54 53
img25.gif 20-Oct-2000 20:54 66
img24.gif 20-Oct-2000 20:54 158
img23.gif 20-Oct-2000 20:54 53
img22.ppm 20-Oct-2000 20:54 68K
img22.gif 20-Oct-2000 20:54 961
img21.gif 20-Oct-2000 20:54 137
img20.gif 20-Oct-2000 20:54 89
img3.gif 20-Oct-2000 20:54 120
img19.gif 20-Oct-2000 20:54 64
img18.gif 20-Oct-2000 20:54 61
img17.gif 20-Oct-2000 20:54 73
img16.gif 20-Oct-2000 20:54 789
img15.gif 20-Oct-2000 20:54 62
img14.gif 20-Oct-2000 20:54 103
img13.gif 20-Oct-2000 20:54 84
img12.gif 20-Oct-2000 20:54 66
img11.gif 20-Oct-2000 20:54 66
img10.gif 20-Oct-2000 20:54 75
img2.gif 20-Oct-2000 20:54 61
img1.gif 20-Oct-2000 20:54 110
![[ ]](/icons/tex.gif){kind=icon}
images.tex 20-Oct-2000 20:54 8.9K
images.pl 20-Oct-2000 20:54 3.1K
images.log 20-Oct-2000 20:54 5.5K
images.bbl 20-Oct-2000 20:54 3.0K
![[ ]](/icons/unknown.gif){kind=icon}
images.aux 20-Oct-2000 20:54 242
icmc95.html 20-Oct-2000 20:54 2.1K
footnode.html 20-Oct-2000 20:54 742