# isabelle_session_info

session_name: Rewriting_Z
sources: a07bbaeb84757a982d40d54d15947dd14e7fc9f1
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
9a03c34512e0eb6874926d96ff98ded85fc90da7


