# isabelle_session_info

session_name: HOL-Auth
sources: 0deabab6b32527cfa13d516cba139fd99756ab32
output_heap: 2399c2d18dcb29f98c08ba093f89f05de8e6ef5f
input_heaps:
7b8f755608c0663a4aab9838687dac5bc4543ba9
7bc41950d8bfdb019ce94301e3599edd937f09d2
302a74eda41dfd4c93c222dedb77dbfeee81f2e0


