# isabelle_session_info

session_name: HOL-Auth
sources: 8a1e474523825721076daebe59bca77f81b7076f
output_heap: 8f98db0da6750ff126bed6f449f8f5f6c8a8a162
input_heaps:
86b56c8a9a539e895ed8d31c0f69ae143fdf0109
fcbcb977e730059a53bc653bcc4acbe376acf6ad
0fb0f6d65c861aa7f893510a1fb768c398ef7d72


