Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 02-Dec-2002 13:01 -
![[ ]](/icons/dvi.gif){kind=icon}
deutsch-plain-dc.dvi 16-Mar-1997 00:00 31k
![[ ]](/icons/a.gif){kind=icon}
deutsch-plain-dc.ps 16-Mar-1997 00:00 102k
![[TXT]](/icons/text.gif){kind=icon}
deutsch-plain-dc.tex 16-Mar-1997 00:00 27k
eng-plain-dc.dvi 16-Mar-1997 00:00 28k
eng-plain-dc.ps 16-Mar-1997 00:00 99k
eng-plain-dc.tex 16-Mar-1997 00:00 25k
nor-plain-dc.dvi 16-Mar-1997 00:00 28k
nor-plain-dc.ps 16-Mar-1997 00:00 99k
nor-plain-dc.tex 16-Mar-1997 00:00 25k