# isabelle_session_info

session_name: Rewriting_Z
sources: 078dee2452438ff5a53087eddc27e947b0b36ee8
input_heaps:
e70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
ecb7e71baa903e0ff99ccefe30dc674e9207709b


