# isabelle_session_info

session_name: HOL-Auth
sources: 6c137ace2f086b9752b31361a4ba300718913d0d
output_heap: 5f7795f61e1a14817c654949b5cecb4acf9d893e
input_heaps:
f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09
ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf
419bc3b969ee6b96ed4c10ab362b8ccdb1f404dd


