Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/p.gif){kind=icon}
contents.pl 23-Jul-1997 19:34 3.8K
figure.pl 23-Jul-1997 19:34 2.0K
![[ ]](/icons/unknown.gif){kind=icon}
images.aux 22-Jul-1997 21:33 125
images.bbl 22-Jul-1997 21:33 8.3K
![[TXT]](/icons/text.gif){kind=icon}
images.log 22-Jul-1997 21:33 15K
images.pl 23-Jul-1997 19:34 4.7K
![[ ]](/icons/tex.gif){kind=icon}
images.tex 22-Jul-1997 21:33 6.1K
![[IMG]](/icons/image2.gif){kind=icon}
img1.gif 23-Jul-1997 19:23 2.2K
img2.gif 23-Jul-1997 19:28 37K
img3.gif 23-Jul-1997 19:22 85
img4.gif 23-Jul-1997 19:21 213K
img5.gif 23-Jul-1997 19:28 2.0K
img6.gif 23-Jul-1997 19:33 177K
img7.gif 23-Jul-1997 19:34 4.7K
img8.gif 23-Jul-1997 19:16 229
img9.gif 23-Jul-1997 19:28 81
img10.gif 23-Jul-1997 19:22 91
img11.gif 23-Jul-1997 19:22 91
img12.gif 23-Jul-1997 19:22 91
img13.gif 23-Jul-1997 19:22 0
internals.pl 23-Jul-1997 19:34 726
labels.pl 23-Jul-1997 19:34 789
missfont.log 23-Jul-1997 19:15 119
node1.html 23-Jul-1997 19:34 2.7K
node2.html 23-Jul-1997 19:34 7.7K
node3.html 23-Jul-1997 19:34 2.3K
node4.html 23-Jul-1997 19:34 2.8K
node5.html 23-Jul-1997 19:34 2.2K
node6.html 23-Jul-1997 19:34 2.4K
node7.html 23-Jul-1997 19:34 5.4K
node8.html 23-Jul-1997 19:34 1.9K
node9.html 23-Jul-1997 19:34 3.1K
node10.html 23-Jul-1997 19:34 4.2K
node11.html 23-Jul-1997 19:34 2.5K
node12.html 23-Jul-1997 19:34 6.8K
node13.html 23-Jul-1997 19:34 7.5K
node14.html 23-Jul-1997 19:34 3.6K
node15.html 23-Jul-1997 19:34 2.8K
node16.html 23-Jul-1997 19:34 5.2K
node17.html 23-Jul-1997 19:34 5.8K
node18.html 23-Jul-1997 19:34 5.9K
node19.html 23-Jul-1997 19:34 9.1K
node20.html 23-Jul-1997 19:34 5.7K
node21.html 23-Jul-1997 19:34 1.5K
node22.html 23-Jul-1997 19:34 11K
node23.html 23-Jul-1997 19:34 1.9K
sections.pl 23-Jul-1997 19:34 4.1K
spread.css 23-Jul-1997 19:34 344
spread.html 23-Jul-1997 19:34 3.6K