index of directory

huygens.pdf       okt 12 13:56        2126 Bytes
huygens.eps       okt 12 13:56        6569 Bytes
huygens.fig       okt 12 13:56        3150 Bytes


automatically generated by awk and sed