Name Last modified Size Description![[DIR]](/icons/back.png){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.png){kind=icon}
index/ 19-Sep-2008 18:41 -
![[ ]](/icons/unknown.png){kind=icon}
trans 09-May-1990 01:22 91K
progp 09-May-1990 01:22 48K
progl 09-May-1990 01:22 70K
progc 09-May-1990 01:22 39K
pic 09-May-1990 01:22 501K
paper6 09-May-1990 01:22 37K
paper5 09-May-1990 01:22 12K
paper4 09-May-1990 01:22 13K
paper3 09-May-1990 01:22 45K
paper2 09-May-1990 01:22 80K
paper1 09-May-1990 01:22 52K
obj2 09-May-1990 01:22 241K
obj1 09-May-1990 01:21 21K
news 09-May-1990 01:21 368K
geo 09-May-1990 01:21 100K
book2 09-May-1990 01:21 597K
book1 09-May-1990 01:21 751K
bib 09-May-1990 01:21 109K