# isabelle_session_info

session_name: HOL-Auth
sources: 165fabf28b6bd32d94da08f820b354f21f2d18ce
output_heap: 25a719913ddfc048a6a240ced06d52622aa7b931
input_heaps:
54c79e9de84c074157fc1ab72ed178119623db9d
1d3c498146e221cfc65a0799a6b457079cbcd5e7
22af4039d4c5197a7a354adb14ed58f818751d02


