Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - List-of-Definitions.pdf 2024-12-17 17:46 270K principia.pdf 2024-12-17 17:14 246K List-of-Definitions.tex 2024-12-17 17:16 65K principia.tex 2024-12-17 17:14 56K principia.sty 2024-12-17 02:45 41K README 2024-12-17 17:17 928