Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
principia.pdf 2023-03-13 11:33 245K
List_of_Definitions.pdf 2023-03-13 11:32 267K
List_of_Definitions.tex 2023-03-13 11:32 61K
README 2023-03-13 11:32 810
principia.tex 2023-03-13 11:26 54K
principia.sty 2023-03-13 11:25 39K