Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - ChangeLog.jkthesis 2002-07-18 07:56 8.2K README.jkthesis 2002-07-12 07:47 916 index.ist 2002-07-12 07:49 1.4K jkthesis.bst 2002-07-12 07:49 33K jkthesis.dtx 2002-07-18 08:11 51K jkthesis.ins 2002-07-12 07:49 1.4K jkthesis.pdf 2002-07-18 08:12 182K symbole.ist 2002-07-12 07:49 2.3K