Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80Name Last modified Size Description
Parent Directory -
jura2html 1999-04-21 12:58 4.6K
jura.pdf 2006-05-25 01:00 236K
jura.ins 1998-07-11 01:00 290
jura.dtx 1999-04-21 13:16 54K
README 2006-05-25 01:00 427