# isabelle_session_info

session_name: HOL-Auth
sources: cff687a36e21bf261224af521a9846aeac9a4031
output_heap: f81e6653fb90218db49b991f55048a0b159a4401
input_heaps:
166ea06b876a32a5026b5eda3d8717e2fd0b6b7f
e24edf66808fa5f9ae0919ac709ff4821f2d16b5
d2ab5fd0330dc818c8f02429bf60998c0bf57e86


