# isabelle_session_info

session_name: HOL-Auth
sources: 44c16895d15a3684462bf0a3119a2541c463998e
output_heap: b62012259b435d4b6315541225389fef3c719445
input_heaps:
33566f3cddb263229cca6b46057522afa84933ef
bb7ec89f1f64990bcc746653a2c829e6a81d9bf2
9f96cfea966aa19fa07f5a219d81239473d5d2f3


