Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - Makefile 2006-03-22 08:08 1.4K README 2006-03-22 08:10 329 galois.dtx 2006-03-19 16:32 21K galois.ins 2006-03-18 18:35 1.2K galois.pdf 2006-03-22 08:30 107K