# isabelle_session_info

session_name: HOL-Auth
sources: 754e4ca50d65df74eb757f811254540882c66d5c
output_heap: d7b9f571bf4207f19d2cd510ce5e191012a7a458
input_heaps:
2c82039eb3757b51a1431a9f137ac66d6aba80c0
3c598196b8edb81762927ef1907cc30b56624032
6f5499c703e5344af6722be4daefe4d980c50c91


