# isabelle_session_info

session_name: HOL-Auth
sources: e5fd914cfc4d712121132f21030f2697a6697032
output_heap: b07f4350c04cc599a8f27446d52f74580f82aa0b
input_heaps:
65b7e02b1e5df641da48590b928c3fa43efd05fa
285f8199b18e375e140801c74b6101ca4dabdcb4
b4c255afc532a046995117c4d85461048de04cd1


