../ ChangeLog.jkthesis 18-Jul-2002 11:26 8397 README.jkthesis 12-Jul-2002 11:17 916 index.ist 12-Jul-2002 11:19 1436 jkthesis.bst 12-Jul-2002 11:19 33K jkthesis.dtx 18-Jul-2002 11:41 51K jkthesis.ins 12-Jul-2002 11:19 1439 jkthesis.pdf 18-Jul-2002 11:42 182K symbole.ist 12-Jul-2002 11:19 2314