# isabelle_session_info

session_name: HOL-Auth
sources: 14ddf34a588a935694640859932a828bd6a1d56c
output_heap: 86c0b7d5d1c96ccdbef732a0c2b4e5c9b179b815
input_heaps:
e216e8eaf6a375ec18ca24b2ce78310b303039d8
9fe695dd2fac74756be62bf1a9c01ff965a54e63
04a2bc7cfa07d840d648901c142a1b52d29d9296


