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