Name Last modified Size Parent Directory - juraabbrev.dtx 2004-09-23 01:05 47K juraabbrev.pdf 2004-09-23 00:52 468K juraabbrev.ins 2004-09-22 22:05 410