# isabelle_session_info

session_name: Rewriting_Z
sources: 8c4e5baf7bed4ba3199506daba860cf204c48d7f
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
e79fda683ab54aaad4eaa9dc928815e3ac0953ae


