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