Am Donnerstag, dem 29.12.2022 um 20:38 + schrieb John Robert
Hudson:
> Please note that the Fact environment has moved from the (Extended)
> to the
> basic module and that the Assumption and Question environments are
> new to the
> (Extended) module and so have no proper descriptions in the
Please note that the Fact environment has moved from the (Extended) to the
basic module and that the Assumption and Question environments are new to the
(Extended) module and so have no proper descriptions in the original
description of the key environments.
From