From: Tobias Nipkow <nipkow@in.tum.de> http://afp.sourceforge.net/entries/Marriage.shtml
Last updated: May 18 2024 at 16:18 UTC