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: Apr 25 2024 at 01:08 UTC