../ INPUTS3.14/ 20-Oct-1999 07:25 - INPUTS3.141/ 20-Oct-1999 07:25 - INST_BER/ 20-Oct-1999 07:25 - def_umlaut.tex 19-Jul-1993 22:00 1502 htx2tex.doc 18-Aug-1993 22:00 1026 htx2tex.exe 18-Aug-1993 22:00 4864 lexikon.exe 18-Aug-1993 22:00 64664 sihyphen.tex 18-Aug-1993 22:00 54259 tie-2.4.tar.gz 19-Jul-1993 22:00 22450 worttab.htx 18-Aug-1993 22:00 54230