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

Ralf Jung jung at mpi-sws.org
Thu Aug 25 20:43:13 CEST 2016


>>> 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

Kind regards,

More information about the Iris-Club mailing list