[Iris-Club] Frame-preserving update and double-negation
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
More information about the Iris-Club