# isabelle_session_info

session_name: HOL-Auth
sources: 063ffe4d24d035c8083ac4e21ded928531c03f89
output_heap: cb77b1fde6533e008e74a929b4d070b7c6066194
input_heaps:
610e66d7bbbf591f95ed39af4ee9deb5317eaac4
91da0f421d225cc41f5e7cb69d4a2edf0de1d483
367ed706fe7ae1fc32c43cbb150c9195e1f846cb


