# isabelle_session_info

session_name: HOL-Auth
sources: 2ac0891ce50f0f4cda600d2c50de9d0ff3761bd7
output_heap: defd211a59f596119ff0e3d7f0afbad787bd01c3
input_heaps:
3d2535d0e4bd099c4cd2accf026f19c1b93bdee5
50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47
04eaf61cfb455e5f1fdd0305defe2d4d81fca6ba


