Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - classes.tex 1989-11-23 00:00 8.2K epodd.bbl 1989-11-23 00:00 3.4K epodd.tex 1989-11-23 00:00 48K l_pic.tex 1989-11-23 00:00 66K readme 1989-11-23 00:00 507 tree_doc.bbl 1990-08-27 02:00 7.4K tree_doc.tex 1989-11-23 00:00 93K treetex.tex 1989-11-23 00:00 84K