# isabelle_session_info

session_name: HOL-Auth
sources: 683c271ae22cb2a9ea5f325faf92f70076564b1c
output_heap: b9408ee6ea1a87e898b704df08b9aeff4c279510
input_heaps:
75f3f49252de203c33a45106d34066835c922023
ac0ee909b22cd8ac2bfe753f8fe785e0638636d7
62237d0fd88a08c2231281bcf334bab933f628fc


