Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.1st 2005-01-04 15:14 2.4K config/ 2005-01-06 13:47 - defedpraef.tex 2004-11-23 21:08 1.3K defedunits.tex 2004-12-20 09:12 10K unitsdef.dtx 2005-01-04 15:00 49K unitsdef.ins 2004-11-23 21:08 1.8K unitsdef.pdf 2005-01-04 15:00 657K