# isabelle_session_info

session_name: HOL-Auth
sources: e5431ef9b0a555c153afb342a577809a4108704a
output_heap: decb3059f083032b4aefac5dbf3f3430cc092ce3
input_heaps:
b91fd754b3729e34bddfb478bfaa24fc6bbe2d01
151f185782dfbe53b60647561f4609fab6758491
12325b8dd6f64782909258f50760365629cb5271


