# isabelle_session_info

session_name: HOL-Auth
sources: 5da8183ef92b6a535a3f310d4b6d723a3db2c228
output_heap: 74ddb6e78e94f44ee397423c97db02b8a5986db7
input_heaps:
95853d0653331ec14ed62a4d4bc81dab1230b932
cb6e029473a5a4e5efb81be3643a1e4640b2d25e
2b539084d7de6074301b0f4072eefdd065d557d2


