# isabelle_session_info

session_name: Rewriting_Z
sources: 1cc1331693cfe92c7254714519433bc474ae077e
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
6e581c00073013a90832b1486d34212a86196dec


