From: "Eugene W. Stark" <isabelle-users@starkeffect.com> I just noticed that this had been sent to the list. I replied to Sebastiaan privately. -- Gene Stark
Last updated: Jul 03 2025 at 01:50 UTC