No matches were found for subject:"\[isabelle\-dev\] Separated heaps for different Isabelle instances \[was\: get_relmap \(no relation map function found for type Set.set\)\]"