# isabelle_session_info

session_name: HOL-Auth
sources: 20b172fff8feb959af30450174eff0231dc58f87
output_heap: 6fdeb95e29925b140733ed6f558a26379d6c2307
input_heaps:
7807f31208a9568bd30608d7be9668a1a8f218a5
80156b25cd81847161b976044fa2b16cc5837cad
d32a278ac349bf4da7f160701da7807f2c161922


