Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
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.pdf 2023-03-13 11:33 245K
principia.sty 2023-03-13 11:25 39K
principia.tex 2023-03-13 11:26 54K