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: May 04 2024 at 04:19 UTC