Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - Makefile 2014-11-13 17:24 149 fig1.tex 2014-11-13 17:24 1.5K ind.bbl 2014-11-13 17:24 5.0K ind.tex 2014-11-13 17:24 59K indminus.tex 2014-11-13 17:24 15 indplus.tex 2014-11-13 17:24 1.1K logo.tex 2014-11-13 17:24 3.5K regmar.sty 2014-11-13 17:24 2.2K undhead.sty 2014-11-13 17:24 496