Skip to content

use sep. conjunction instead of conjunction for allocation lemmas

Ralf Jung requested to merge ralf/alloc-sep-conj into master

This could break some clients though it is unlikely... still, it should get a changelog entry.

Merge request reports