# isabelle_session_info

session_name: HOL-Auth
sources: 1b1738b3519609e553ed229b0eebafe744fcafc6
output_heap: 07199aaf82dc345219eba62fe58df8fc950a5efd
input_heaps:
434d2185c8796b1b91c101ab4deb405df77e768f
e64afe6e32cef310ef78d64a8a9e9787a782d794
194ba7a53cbc2884b0c4d571a1e1d1b797ba0203


