Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
grundgesetze.ins 2014-03-22 18:33 282
README 2021-04-26 15:33 660
grundgesetze.dtx 2021-04-26 17:05 33K
grundgesetze.pdf 2021-04-26 17:05 221K