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