[Iris-Club] Frame-preserving update and double-negation

[Ralf Jung]

Hi,

>>> Any suggestions for an appropriate name for this folder?
>> base_logic/facts/ (following the new folder layout)?
> Hmm, I would like the name of this folder to reflect that these 'facts'
> are not needed for the actual Iris logic, but are just there for
> informative purposes.

I don't think that needs much emphasis, but if you insist... what about
supplementary_facts?

Kind regards,
Ralf