From: Tobias Nipkow <nipkow@in.tum.de> http://afp.sourceforge.net/entries/Marriage.shtml
Last updated: Jul 26 2025 at 08:28 UTC